Skip to content

Replace GAP 4.12.2 in the CI workspaces build #1059

@james-d-mitchell

Description

@james-d-mitchell

We should try to use the new containers being developed by @limakzi

Metadata

Metadata

Labels

ciA label for issues or PRs related to the continuous integration for Semigroups

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions