summaryrefslogtreecommitdiff
path: root/.github/workflows/formal.yml
Commit message (Expand)AuthorAgeFilesLines
* ci: no longer require real nameone-d-wide2024-01-121-8/+0
* CI: update remaining outdated dependenciesTianling Shen2023-04-011-1/+1
* CI: add formal testsPaul Spooren2021-10-091-0/+63