Repository navigation

CI, a type check that passes, a changelog - #4

Merged

Fl0p merged 6 commits into

mainfrom

ci-docs-and-tests

Sep 20, 2026

Merged

CI, a type check that passes, a changelog#4
Fl0p merged 6 commits into
mainfrom
ci-docs-and-tests

Commits on Sep 20, 2026
- Check types, and make the tree pass
  
  FlopBut
  and
  claude
  committed
  8570f1b
- Run types and tests on every push, publish docs to Pages
  
  FlopBut
  and
  claude
  committed
  617d266
- Say what the audit's findings have become
  
  FlopBut
  and
  claude
  committed
  1403d93
- Link the two protocols that had none
  
  FlopBut
  and
  claude
  committed
  e9e11b7
- Keep a changelog
  
  FlopBut
  and
  claude
  committed
  336f43e
- Move the workflows onto current actions
  
  FlopBut
  and
  claude
  committed
  ebea1fa