Temporarily install latest pygments to workaround warnings coming from …

…pygments/pygments#2407
python · Apr 15, 2023 · a704ce7 · a704ce7
1 parent bc539cc
commit a704ce7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/update-lint-and-build.yml b/.github/workflows/update-lint-and-build.yml
@@ -83,6 +83,7 @@ jobs:
           ref: ${{ matrix.version }}
       - run: make venv
         working-directory: ./Doc
+      - run: ./Doc/venv/bin/python -m pip install git+https://github.com/pygments/pygments.git
       - uses: actions/checkout@master
         with:
           ref: ${{ matrix.version }}