Martin Fischer 84387f8a10 ci: add workflow to run tests on pull requests and pushes (#3830) ... This introduces a new workflow that just runs the tests on pull requests and pushes and takes ~1min30s in the GitHub CI. The previous build workflow didn't run on PRs and takes an hour.		2025-06-27 17:46:55 -04:00
..
workflows	ci: add workflow to run tests on pull requests and pushes (#3830)	2025-06-27 17:46:55 -04:00
mypy-github-formatter	Mypy type correctness (#3199)	2025-03-09 21:21:48 -04:00