diff options
| author | Georg Brandl <georg@python.org> | 2022-10-27 07:18:16 +0200 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2022-10-27 12:15:22 +0200 |
| commit | 629c448bdcbd7ca9f5d530c0ef10fa3bcd7ccbff (patch) | |
| tree | 0d16b78a78b188e1f3ef28746b87ada37bdd804e /.github/workflows/build.yaml | |
| parent | cffc5df62c258ca39fc7474f7197f2df33ab014f (diff) | |
| download | pygments-git-regex.tar.gz | |
all: convert "re" to "regex"regex
Diffstat (limited to '.github/workflows/build.yaml')
| -rw-r--r-- | .github/workflows/build.yaml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index b49f5f3f..491ed6d8 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -33,6 +33,8 @@ jobs: steps: - uses: actions/checkout@v2 - uses: actions/setup-python@v2 + - name: Install regex + run: python -m pip install regex - name: Run make check run: make check - name: Fail if the basic checks failed @@ -44,6 +46,8 @@ jobs: steps: - uses: actions/checkout@v2 - uses: actions/setup-python@v2 + - name: Install regex + run: python -m pip install regex - name: Regenerate mapfiles run: make mapfiles - name: Fail if mapfiles changed @@ -60,6 +64,8 @@ jobs: - uses: actions/setup-python@v2 with: python-version: 3.8 + - name: Install regex + run: python -m pip install regex - name: Check out regexlint run: git clone https://github.com/pygments/regexlint - name: Run regexlint |