Search results

set release notes for setup-gap, which dependabot then shows in its PRs

Status: Open.

#66 In gap-actions/setup-gap;

· fingolfin opened on Sep 11, 2025

Once setup-gap@v3, run-pkg-tests@v4, etc., are out, update all gap-actions to use latest versions of our workflows

Status: Open.

#50 In gap-actions/setup-gap;

· fingolfin opened on Sep 1, 2025

Support building a particular GAP pull request

Status: Open.

#36 In gap-actions/setup-gap;

· wilfwilson opened on Feb 22, 2022

Support using the required versions of needed/suggested packages

Status: Open.

#28 In gap-actions/setup-gap;

· wilfwilson opened on May 20, 2021

Support more options for which GAP packages to download

Status: Open.

#27 In gap-actions/setup-gap;

· wilfwilson opened on May 20, 2021

Work on a successor for this which uses a Docker image with prebuilt GAP, to reduce overhead

Status: Open.

#16 In gap-actions/setup-gap;

· fingolfin opened on Feb 15, 2021

Publish this on the GitHub marketplace

Status: Open.

#14 In gap-actions/setup-gap;

· fingolfin opened on Dec 8, 2020