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

Epic / PRD

Good for newcomers

Extra attention is needed

This doesn't seem right

Pull requests that update javascript code

ProofRunner product

Further information is requested

Developer role

Planner role

Tester role

P0 Hackathon MVP Scope

Post-submission ProofRunner P1 scope

Blocked by dependencies

Ready to be worked on

This will not be worked on