Skip to content

Use new github runner versions#9

Merged
bobismijnnaam merged 1 commit intoutwente-fmt:masterfrom ennoruijters:maint/github-action-versionsNov 8, 2024
+8-10

Commits

Commits on Nov 7, 2024