aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows/formal.yml
Commit message (Expand)AuthorAgeFilesLines
* ci: move scripts into separate directoryPetr Štetiar2022-12-041-1/+1
* build: harden GitHub workflow permissionsAlex Low2022-11-271-0/+3
* CI: allow dots in commit subject areaPaul Spooren2022-02-241-1/+1
* CI: add formal checksPaul Spooren2022-01-291-0/+70