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

Update and modernize GitHub actions#157
gares merged 2 commits into
math-comp:masterfrom
siraben:gh-actions

Update and modernize GitHub actions

abba72e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.