Skip to content

Update and modernize GitHub actions - #157

Merged
gares merged 2 commits into
math-comp:masterfrom
siraben:gh-actions
Sep 11, 2025
Merged

gares merged 2 commits into
math-comp:masterfrom
siraben:gh-actions

Commits

  1. Commits on Sep 11, 2025