diff --git a/.github/workflows/gap.yml b/.github/workflows/gap.yml index 5a320da2c..e6b929202 100644 --- a/.github/workflows/gap.yml +++ b/.github/workflows/gap.yml @@ -56,7 +56,7 @@ jobs: uses: actions/checkout@v4 with: repository: 'gap-system/gap' - ref: 'master' + ref: 'v4.13.0' path: 'GAPROOT' - name: "Build GAP" run: |