Labels
Labels
35 labels
- Ideas to improve the tests
- Something isn't working
- Changes related to conformance testing
- Issues related to the Conway era
- Pull requests that update a dependency file
- Improvements or additions to documentation
- This issue or pull request already exists
- New feature or request
- Changes related to formal specifications
- PRs related to Genesis testing and implementation
- 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
- A Leios question blocking some work
- The issue needs more details before people can start working on it
- causes the CI to run a NoThunks job for this PR
- Further information is requested
- PRs that prepare releases