Labels

Requires or pertains to benchmarking

Unable to proceed with this issue or pull request

Something isn't working

Improvements or additions to changelog

Housekeeping

Urgent matter(s)

Pull requests that update a dependency file

Discussion

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Not an issue

Pull requests that update Github_actions code

Good for newcomers

Extra attention is needed

This doesn't seem right

Pull requests that update Javascript code

General maintenance

Further information is requested

Poll

A pull request is welcome

Support or open question(s)

Requires or pertains to refactoring

Vulnerabilities and other security-related matters

Changes that break backward compatibility

New features that are backward compatible