| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-04-27 | github: User the CI docker image in workflows | Jan Sucan | |
| 2024-03-18 | github: Do not duplicate pull request workflow runs | Jan Sucan | |
| 2024-01-14 | github: Add initial pre-commit workflow | Jan Sucan | |
| 2024-01-09 | github: Run test workflow on pull request | Jan Sucan | |
| 2024-01-09 | github: Improve formatting of a workflow file | Jan Sucan | |
| 2023-10-15 | github: Add workflow for running the tests | Jan Sucan | |
