Commit History

Author SHA1 Message Date
  Paul Donald e557e17829 house-keeping: workflow improvements 9 months ago
  Paul Donald 07e025664b house-keeping: migrate workflows from GitHub deprecated node16 -> node20 9 months ago
  Paul Donald 09cf4a17e0 house-keeping: PR workflow check improvements 9 months ago
  Paul Donald 4dc7a4e19e house-keeping: workflow fixes 9 months ago
  one-d-wide b421c38290 ci: no longer require real name 10 months ago
  Tianling Shen 568782ca97 CI: update remaining outdated dependencies 1 year ago
  Paul Spooren dc7144ffed CI: add formal tests 3 years ago