Labels

Something isn't working

Package-specific scope or cron label

Package-specific scope or cron label

Package-specific scope or cron label

Package-specific scope or cron label

Pull requests that update a dependency file

Internal change, no user-facing impact

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Package-specific scope or cron label

Good for newcomers

Extra attention is needed

Benchmark paper

Further information is requested

Release preparation

Trigger the Breakage workflow on this PR

Trigger the CI workflow on GitHub-hosted runners

Trigger the CI workflow on the self-hosted kkt runner

Trigger the CI workflow on the self-hosted occidata runner (GPU/CUDA)

Trigger the Documentation workflow on this PR

Force the complete problem catalogue in CI

Package-specific scope or cron label

Add the convergence report (argument convergence) to the tests of the pull request

Package-specific scope or cron label