Skip to content

No labels!

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

19 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
1
CI
CI
2
documentation
documentation
Improvements or additions to documentation
1
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
15
frontend
frontend
1
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
internal-only
internal-only
Bugs that only affect Geb language developers, not Geb clients (such as Juvix) or users
1
invalid
invalid
This doesn't seem right
juvix-integration
juvix-integration
6
optimization
optimization
5
question
question
Further information is requested
research
research
1
static-analysis
static-analysis
Static Analysis tools
1
stlc-fragment
stlc-fragment
testing
testing
Bugs in or enhancements to tests
1
tooling
tooling
1
wontfix
wontfix
This will not be worked on