Adrien Vergé a6e0e1213a CI: Fix pip install problem with Pygments version ...

Recently `python setup.py build_sphinx` started failing with:

    pkg_resources.VersionConflict: (Pygments 2.3.1
    (/usr/lib/python3/dist-packages), Requirement.parse('Pygments>=2.12'))

The reason is that `doc8` 1.0.0 installs `Pygments` 2.3.1, then `Sphinx`
5.3.0 needs `Pygments` ≥ 2.12.

The easiest fix is to change the install order.

2022-10-26 16:37:45 +02:00

..

ci.yaml

CI: Fix pip install problem with Pygments version

2022-10-26 16:37:45 +02:00