Labels

Something isn't working

Before merging: on main, rerun only the jobs the merged files can affect (never on a release PR)

Pull requests that update a dependency file

Improvements or additions to documentation

With 'run documentation': also deploy a preview of the docs

This issue or pull request already exists

New feature or request

Pull requests that update GitHub Actions code

Good for newcomers

Help SED Inria Sophia Antipolis Méditerranée

Extra attention is needed

Modification to the code is requested and should not affect user experiment

This doesn't seem right

Further information is requested

Trigger the Breakage workflow on this PR

Trigger the CI workflow on GitHub-hosted runners

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

Trigger the Documentation workflow on this PR

Improvements or additions to the tests

This will not be worked on