Age | Commit message (Expand) | Author |
---|---|---|
2023-09-01 | tools: use local working directory for typechecking temp files | Steven Arcangeli |
2023-09-01 | tools: add a make clean target | Steven Arcangeli |
2023-08-31 | ci: improve consistency of CI workflows (#23) | Steven Arcangeli |
2023-08-28 | tools: add makefile 'all' target | Steven Arcangeli |
2023-08-28 | tools: split fast and slow lint commands | Steven Arcangeli |
2023-08-28 | doc: move doc scripts around and eliminate submodule | Steven Arcangeli |