 Paul Donald
|
e557e17829
house-keeping: workflow improvements
|
há 9 meses atrás |
|
Paul Donald
|
07e025664b
house-keeping: migrate workflows from GitHub deprecated node16 -> node20
|
há 10 meses atrás |
|
Paul Donald
|
09cf4a17e0
house-keeping: PR workflow check improvements
|
há 10 meses atrás |
|
Paul Donald
|
4dc7a4e19e
house-keeping: workflow fixes
|
há 10 meses atrás |
 one-d-wide
|
b421c38290
ci: no longer require real name
|
há 10 meses atrás |
 Tianling Shen
|
568782ca97
CI: update remaining outdated dependencies
|
há 1 ano atrás |
 Paul Spooren
|
dc7144ffed
CI: add formal tests
|
há 3 anos atrás |
