Closed johodges closed 1 year ago
Great job!
I am just going to do some renaming according to my (unwritten) rules.
Great, and thanks. Could we hold off on the renaming until we get the next PR in? I am just about ready to merge a first cut of github actions on the verification side.
Note that the verification is now embedded in this repository rather than through a separate repo. On my machines I typically use this process to check changes: