Skip to content

No labels!

There aren’t any labels for this repository quite yet.

application
application
About application of the packages
automated pr
automated pr
bug
bug
Something isn't working
dependencies
dependencies
Pull requests that update a dependency file
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
formatting
formatting
good first issue
good first issue
Good for newcomers
help sed
help sed
Help SED Inria Sophia Antipolis Méditerranée
help wanted
help wanted
Extra attention is needed
internal dev
internal dev
Modification to the code is requested and should not affect user experiment
invalid
invalid
This doesn't seem right
no changelog
no changelog
question
question
Further information is requested
wontfix
wontfix
This will not be worked on