Skip to content

No labels!

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

andrew-ms-project
andrew-ms-project
bug
bug
Something isn't working
cleanup
cleanup
Code cleanup/refactoring
continuous-integration
continuous-integration
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)
enhancement
enhancement
New feature or request
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
question
question
Further information is requested
scale: paper/MS project
scale: paper/MS project
sketch-improvement
sketch-improvement
Issues that relate to improving sketches to use fewer resources.
testing
testing
verin
verin
directly impacting or adjacently impacting Verin, the verified lifting project.
vishal-src
vishal-src
WIP
WIP
wontfix
wontfix
This will not be worked on
workload
workload
Test Lakeroad on a new workload