Age | Commit message (Collapse) | 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 | |
* ci: don't double-run tests on PRs * ci: always run document generation and lint | |||
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 | |