aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Expand)Author
2024-04-27github: Fix the main branch nameJan Sucan
2024-04-27github: User the CI docker image in workflowsJan Sucan
2024-03-18github: Do not duplicate pull request workflow runsJan Sucan
2024-01-14github: Add initial pre-commit workflowJan Sucan
2024-01-09github: Run test workflow on pull requestJan Sucan
2024-01-09github: Improve formatting of a workflow fileJan Sucan
2023-10-15github: Add workflow for running the testsJan Sucan