diff options
author | Georg Brandl <georg@python.org> | 2020-09-06 12:16:49 +0200 |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2020-09-06 14:16:10 +0200 |
commit | ed93a2758bdfbeaafc43ac59a611bf2cff92b55c (patch) | |
tree | 8d1884461db84378cf1f02b38937dae02cb839b2 /.github | |
parent | 95c6ea6a1554955cf7502b788a5a860f64ac1781 (diff) | |
download | pygments-git-ed93a2758bdfbeaafc43ac59a611bf2cff92b55c.tar.gz |
CI: add regexlint run
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/build.yaml | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 1eba408a..ff131aa9 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -4,7 +4,6 @@ on: [push, pull_request] jobs: build: - runs-on: ${{ matrix.os }} strategy: matrix: @@ -29,3 +28,15 @@ jobs: - name: Test package run: py.test if: runner.os == 'Windows' && ! contains(matrix['python-version'], 'pypy') + + lint: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + - uses: actions/setup-python@v2 + with: + python-version: 3.8 + - name: Check out regexlint + run: git clone https://github.com/pygments/regexlint + - name: Run regexlint + run: make regexlint REGEXLINT=`pwd`/regexlint |