| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-06-27 | ci: add workflow to run tests on pull requests and pushes (#3830) | Martin Fischer | |
| 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. | |||
