summaryrefslogtreecommitdiff
path: root/.github (follow)
AgeCommit message (Collapse)Author
2023-01-03github: Enable CI workflow on pull requestSebastian Huber
2023-01-03github: Run spec2modules.py in CI workflowSebastian Huber
2023-01-03Add Github CISebastian Huber