aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
AgeCommit message (Collapse)Author
2023-09-01tools: use local working directory for typechecking temp filesSteven Arcangeli
2023-09-01tools: add a make clean targetSteven Arcangeli
2023-08-31ci: 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-28tools: add makefile 'all' targetSteven Arcangeli
2023-08-28tools: split fast and slow lint commandsSteven Arcangeli
2023-08-28doc: move doc scripts around and eliminate submoduleSteven Arcangeli