summaryrefslogtreecommitdiff
path: root/.github (follow)
AgeCommit message (Expand)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