Labels

Pull requests that update a dependency file

This issue or pull request already exists

Pull requests that update Github_actions code

Pull requests that update Java code

Pull requests that update Javascript code

Some progress made, but then put on hold

Fix for something unsafe

Set on bugs that are discovered by recurring tests that all of a sudden have started failing.

Issues that require additional discussion

Typings