Issues

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

  gap-actions/setup-gap#66 · Filter by author 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

  gap-actions/setup-gap#50 · Filter by author fingolfin opened on Sep 1, 2025
  3

• Support building a particular GAP pull request

  gap-actions/setup-gap#36 · Filter by author wilfwilson opened on Feb 22, 2022

• Support using the required versions of needed/suggested packages

  gap-actions/setup-gap#28 · Filter by author wilfwilson opened on May 20, 2021

• Support more options for which GAP packages to download

  gap-actions/setup-gap#27 · Filter by author wilfwilson opened on May 20, 2021
  2

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

  gap-actions/setup-gap#16 · Filter by author fingolfin opened on Feb 15, 2021
  3

  

• Publish this on the GitHub marketplace

  gap-actions/setup-gap#14 · Filter by author fingolfin opened on Dec 8, 2020