| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-04-27 | github: Fix the main branch name | Jan Sucan | |
| 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 | |
