summaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Expand)Author
2024-05-28T6410: worflow fixeskumvijaya
2021-02-03Coverage: reenable coverage page progress (#441)Robert Göhler
2020-12-17CI: use variable for repo namerebortg
2020-12-10correct repo path for submodule actionrebortg
2020-12-10create gihub action for scheduled submodule updaterebortg
2020-12-09Lint: deativate vale actionrebortg
2020-11-26add github actionsrebortg