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