summaryrefslogtreecommitdiff
path: root/.github/workflows/formal.yml
Commit message (Expand)AuthorAgeFilesLines
* ci: no longer require real namePaul Spooren2024-01-101-8/+0
* CI: allow PRs for CONTRIBUTING.md and README.md filesYegor Yefremov2023-12-011-1/+1
* ci: update github actions to v3Christian Marangi2022-10-251-1/+1
* CI: checkout HEAD commit rather than merge commitPaul Spooren2021-03-041-3/+1
* CI: migrate formal checks from CircleCI to GitHubPaul Spooren2021-03-041-0/+65