aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows/formal.yml
Commit message (Expand)AuthorAgeFilesLines
* CI: bump actions/checkout action to v3Christian Marangi2022-12-041-1/+1
* ci: move scripts into separate directoryPetr Štetiar2022-12-041-1/+1
* build: harden GitHub workflow permissionsAlex Low2022-12-041-0/+3
* CI: allow dots in commit subject areaPaul Spooren2022-12-041-1/+1
* CI: add formal checksPaul Spooren2022-12-041-0/+70