chore: add justfile

2026-07-09 23:37:22 +02:00
parent 28be45eb8f
commit dce35391b4
1 changed files with 14 additions and 0 deletions
--- a/14
+++ b/14
@@ -0,0 +1,14 @@
+# Local Variables:
+# mode: makefile
+# End:
+set shell := ["bash", "-uc"]
+
+build-docs:
+  typst c --root . docs/manual.typ
+  typst c --root . docs/function_subtyping.typ
+
+tests:
+  uv run -m tests
+
+check-docstrings:
+  uv run scripts/docstring_checker.py