change names

This commit is contained in:
Matthias 2021-12-02 12:46:31 +01:00
parent 996554541c
commit 3c460dfc32
No known key found for this signature in database
GPG Key ID: F50EF5741D33E076

View File

@ -18,7 +18,7 @@ env:
jobs:
check_version:
name: check version number
name: version number
runs-on: ubuntu-latest
steps:
@ -29,6 +29,7 @@ jobs:
python3 ci/check_version_number.py --branch ${{ github.base_ref }}
pep_style:
name: PEP style (python)
needs: check_version
runs-on: ubuntu-latest