aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/formal.yml
Commit message (Expand)AuthorAge
* CI: formal: use shared workflow in actions-shared-workflowsChristian Marangi2024-01-26
* ci: no longer require real namePaul Spooren2024-01-11
* CI: bump actions/checkout action to v3Christian Marangi2022-10-12
* ci: move scripts into separate directoryPetr Štetiar2022-09-20
* build: harden GitHub workflow permissionsAlex Low2022-09-19
* CI: allow dots in commit subject areaPaul Spooren2022-02-24
* CI: add formal checksPaul Spooren2022-01-29