Change 'bin/gap.sh' to 'gap' as 'bin/gap.sh' has been removed (#26)

gap-actions · Nov 29, 2023 · 2a7f457 · 2a7f457
1 parent 6404554
commit 2a7f457
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/action.yml b/action.yml
@@ -38,7 +38,7 @@ runs:
          ln -f -s $PWD /tmp/gaproot/pkg/
 
          # start GAP with custom GAP root, to ensure correct package version is loaded
-         GAP="$GAPROOT/bin/gap.sh -l /tmp/gaproot; --quitonbreak"
+         GAP="$GAPROOT/gap -l /tmp/gaproot; --quitonbreak"
 
          if ${{ inputs.only-needed }} = 'true' ; then
            GAP="$GAP -A"