diff options
author | Georg Brandl <georg@python.org> | 2021-06-02 15:34:46 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-02 15:34:46 +0200 |
commit | 3e9fe3a99ae3f4250e1d3788f5f3b4cc0c21e6ac (patch) | |
tree | 24c56b3733806cb50d9827c641355b1ebced7511 /.github | |
parent | d116aad1e8f6fa74fec72107b188dd9417f015ea (diff) | |
download | pygments-git-3e9fe3a99ae3f4250e1d3788f5f3b4cc0c21e6ac.tar.gz |
CI: add a "check mapfiles" action (#1828)
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: |