Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix installation of Python packages in generate docs CI job #279

Merged
merged 3 commits into from
Oct 15, 2024

Commits on Oct 15, 2024

  1. Fix installation of Python packages in generate docs CI job

    This job uses `ubuntu-latest`, i.e., it will automatically use the
    newest version of Ubuntu available. On current versions `pip install`
    refuses to install packages into the system since this might break
    system packages. Users are expected to explicitly opt into this
    potential breakage by passing the `--break-system-packages` flag. This
    is an acceptable workaround here since we do not distribute this setup,
    and currently things appear to not break.
    bbannier committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    366e300 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    12d65d4 View commit details
    Browse the repository at this point in the history
  3. Bump and fix used version of Pygments

    This fixes the version of Pygments to the one bundled with the Ubuntu
    image used in CI.
    bbannier committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    a49d227 View commit details
    Browse the repository at this point in the history