Skip to content

Comments

Bump gap-actions/build-pkg from 1 to 2#25

Merged
fingolfin merged 1 commit intomainfrom
dependabot/github_actions/gap-actions/build-pkg-2
Nov 17, 2025
Merged

Bump gap-actions/build-pkg from 1 to 2#25
fingolfin merged 1 commit intomainfrom
dependabot/github_actions/gap-actions/build-pkg-2

Commits

Commits on Sep 15, 2025