Age | Commit message (Expand) | Author |
---|---|---|
2024-02-08 | house-keeping: workflow improvements | Paul Donald |
2024-01-31 | house-keeping: migrate workflows from GitHub deprecated node16 -> node20 | Paul Donald |
2024-01-30 | house-keeping: PR workflow check improvements | Paul Donald |
2024-01-30 | house-keeping: workflow fixes | Paul Donald |
2024-01-12 | ci: no longer require real name | one-d-wide |
2023-04-01 | CI: update remaining outdated dependencies | Tianling Shen |
2021-10-09 | CI: add formal tests | Paul Spooren |