Skip to content

No labels!

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

22 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
andrew-ms-project
andrew-ms-project
4
bug
bug
Something isn't working
5
cleanup
cleanup
Code cleanup/refactoring
5
continuous-integration
continuous-integration
2
do-not-merge
do-not-merge
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
egglog
egglog
Pertaining to lakeroad-egglog (aka Churchroad)
10
enhancement
enhancement
New feature or request
3
good first issue
good first issue
Good for newcomers
9
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
question
question
Further information is requested
research
research
11
scale: paper/MS project
scale: paper/MS project
1
sketch-improvement
sketch-improvement
Issues that relate to improving sketches to use fewer resources.
1
testing
testing
verin
verin
directly impacting or adjacently impacting Verin, the verified lifting project.
vishal-src
vishal-src
4
WIP
WIP
wontfix
wontfix
This will not be worked on
workload
workload
Test Lakeroad on a new workload
1