diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yaml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 22134e98..b2d7050c 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -29,6 +29,20 @@ jobs: run: py.test if: runner.os == 'Windows' && ! contains(matrix['python-version'], 'pypy') + check-mapfiles: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + - uses: actions/setup-python@v2 + - name: Regenerate mapfiles + run: make mapfiles + - name: Fail if mapfiles changed + run: | + if git ls-files -m | grep mapping; then + echo 'Please run "make mapfiles" and add the changes to a commit.' + exit 1 + fi + lint: runs-on: ubuntu-latest steps: |