CI: Check Pico version on tag push

This commit is contained in:
Daniel Rudolf 2022-02-26 22:27:43 +01:00
parent 4bf3260766
commit e3365a4345
No known key found for this signature in database
GPG key ID: A061F02CD8DE4538

View file

@ -40,6 +40,11 @@ jobs:
php-version: ${{ env.PHP_VERSION }} php-version: ${{ env.PHP_VERSION }}
php-tools: phpcs php-tools: phpcs
- name: Check Pico version
if: ${{ github.ref_type == 'tag' }}
run: |
[ "$GITHUB_REF_NAME" == "v$PICO_VERSION" ]
- name: Run PHP_CodeSniffer - name: Run PHP_CodeSniffer
run: | run: |
phpcs --standard=.phpcs.xml phpcs --standard=.phpcs.xml