Commits

Commits on Jul 29, 2025

feat: conditionalize Makefile target for testing
gvwilson
committed

Commits on Jul 26, 2025

better verbosity
gvwilson
committed

Commits on Jul 25, 2025

feat: converting doc/python/*.md using bin/run_markdown.py
gvwilson
committed

Commits on Jul 17, 2025

- Move contents of `commands.py` to scripts in new `bin` directory and break
gvwilson
committed

Commits on Jul 8, 2025

Merge pull request #5265 from ryan-williams/patch-1
LiamConnors
authored

Commits on Jul 5, 2025

Fix `height` docstr copypasta
ryan-williams
authored

Commits on Jun 26, 2025

Commits on Jun 25, 2025