Skip to content

Temporarily use ubuntu-22.04 instead of latest in CI#45

Merged
james-d-mitchell merged 1 commit intolibsemigroups:mainfrom james-d-mitchell:fix-gh-actionsDec 18, 2024
+2-2

Commits

Commits on Dec 18, 2024