Labels

Something isn't working

Pull requests that update a dependency file

Improvements or additions to documentation

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

Used to trigger breakage tests.

Trigger CI on GitHub runners

Trigger CI on kkt runner

Trigger documentation

Improvements or additions to the tests

This will not be worked on