summaryrefslogtreecommitdiffhomepage
path: root/.github/workflows/formal.yml
AgeCommit message (Expand)Author
2024-02-08house-keeping: workflow improvementsPaul Donald
2024-01-31house-keeping: migrate workflows from GitHub deprecated node16 -> node20Paul Donald
2024-01-30house-keeping: PR workflow check improvementsPaul Donald
2024-01-30house-keeping: workflow fixesPaul Donald
2024-01-12ci: no longer require real nameone-d-wide
2023-04-01CI: update remaining outdated dependenciesTianling Shen
2021-10-09CI: add formal testsPaul Spooren