From e3365a4345057b80492b38f7c0d57e09d8dc3f8c Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Sat, 26 Feb 2022 22:27:43 +0100
Subject: [PATCH] CI: Check Pico version on tag push

---
 .github/workflows/test.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 23938b6..98ffb1f 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -40,6 +40,11 @@ jobs:
                     php-version: ${{ env.PHP_VERSION }}
                     php-tools: phpcs
 
+            -   name: Check Pico version
+                if: ${{ github.ref_type == 'tag' }}
+                run: |
+                    [ "$GITHUB_REF_NAME" == "v$PICO_VERSION" ]
+
             -   name: Run PHP_CodeSniffer
                 run: |
                     phpcs --standard=.phpcs.xml