diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/release.yml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 09402c83..57d500d7 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -4,6 +4,18 @@ on: types: [ created ] jobs: + # Ensure version numbers in various places match up + ensure-same-version: + runs-on: ubuntu-20.04 + steps: + - uses: actions/checkout@v2 + - name: install dependencies + run: | + pip install toml + - name: Run check + run: | + python3 scripts/check_version_numbers.py --release ${{github.event.release.tag_name}} + build: strategy: fail-fast: false |