aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows/run-checker-merge.yml
Commit message (Expand)AuthorAgeFilesLines
* ci: add GitHub token permissions for workflowsVarun Sharma2022-07-131-0/+3
* ci: add copyright header to CI scriptsPauli2021-09-211-0/+7
* CI: remove spurious blank linesPauli2021-08-051-1/+0
* ci: separate the config dump from the configuration commandPauli2021-08-051-1/+4
* Add --banner config optionRich Salz2021-05-141-1/+1
* Run-checker converted to GitHub ActionsPauli2021-05-121-0/+31