aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/ci_helpers.sh
Commit message (Expand)AuthorAge
* ci: move scripts into separate directoryPetr Štetiar2022-09-20
* CI: add formal checksPaul Spooren2022-01-29