aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/formal.yml
Commit message (Expand)AuthorAge
* CI: checkout HEAD commit rather than merge commitPaul Spooren2021-03-04
* CI: migrate formal checks from CircleCI to GitHubPaul Spooren2021-03-04