ci: simplify workspace tests

.github/workflows/ci.yml

@@ -9,6 +9,9 @@ on:
   schedule:
     # Every day at 3:15 AM UTC
     - cron: '15 3 * * *'
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
 
 jobs:
   test:

.github/workflows/workspaces.yml

@@ -0,0 +1,70 @@
+# This is temporary until/if:
+# https://github.com/gap-actions/run-pkg-tests/pull/24
+# is merged, or something equivalent, then remove the script ci/run-tests.sh,
+# and use the save/load.g files as commented out below
+name: "Workspaces"
+on:
+  workflow_dispatch:
+  pull_request:
+  push:
+    branches:
+      - "main"
+      - "stable-*.*"
+  schedule:
+    # Every day at 3:15 AM UTC
+    - cron: '15 3 * * *'
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  workspaces:
+      env: 
+        GAP_VERSION: "4.12.2"
+      name: "GAP 4.12.2 / ubuntu / 64-bit"
+      runs-on: ubuntu-latest
+      container:
+          image: jamesdbmitchell/gap-docker-minimal:version-4.12.2
+          options: --user root
+          volumes: 
+            - ${{ github.workspace }}:/home/gap/inst/gap-4.12.2/pkg/Semigroups
+      steps:
+          - name: "Checkout the Semigroups GAP package"
+
+            uses: actions/checkout@v3
+          - name: "Install git + autotools"
+            run: |
+              sudo apt-get --yes update
+              sudo apt-get install git --yes
+              sudo apt-get install pkg-config m4 libtool automake autoconf --yes
+              sudo apt-get install libtool-bin --yes
+          - name: "Setup ccache"
+            uses: Chocobo1/setup-ccache-action@v1
+            with:
+              update_packager_index: false
+              override_cache_key: ${{ runner.os }}-v4.12.2-64-${{ github.ref }}
+              override_cache_key_fallback: ${{ runner.os }}-v4.12.2-64
+          - name: "Build the Semigroups GAP package"
+            run: | 
+              cd /home/gap/inst/gap-4.12.2/pkg/Semigroups
+              ./prerequisites.sh
+              ./autogen.sh
+              ./configure --disable-hpcombi
+              make -j4
+          - name: "Install Semigroups GAP package dependencies"
+            run: |
+              echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"autodoc\", false));" | gap -A -T --quitonbteak
+              echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"datastructures\", false));" | gap -A -T --quitonbteak
+              echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"digraphs\", false));" | gap -A -T --quitonbteak
+              echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"genss\", false));" | gap -A -T --quitonbteak
+              echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"images\", false));" | gap -A -T --quitonbteak
+              echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"orb\", false) and CompilePackage(\"orb\"));" | gap -A -T --quitonbteak
+          - name: "Run tst/workspaces/save.g"
+            run: |
+              cd /home/gap/inst/gap-4.12.2/pkg/Semigroups
+              gap -A -T --quitonbreak tst/workspaces/save.g
+          - name: "Run tst/workspaces/load.g"
+            run: |
+              cd /home/gap/inst/gap-4.12.2/pkg/Semigroups
+              gap -A -T --quitonbreak -L tst/workspaces/test-output.w tst/workspaces/load.g

.gitignore

@@ -36,3 +36,4 @@
 /libsemigroups/
 /src/pkgconfig.h.in
 /src/semigroups-config.hpp
+test-output.w

tst/workspaces/load-workspace.tst

@@ -14,9 +14,9 @@
 ##
 #############################################################################
 
-# Set up testing environment
+# DO NOT USE LOCAL VARIABLES @local in this file!
 
-#@local D, DD, id, idd, xx
+# Set up testing environment
 gap> START_TEST("Semigroups package: workspaces/load-workspace.tst");
 gap> SEMIGROUPS.StartTest();
 
@@ -136,6 +136,7 @@ gap> AsDigraph(b);
 gap> CanonicalBlocks(b);
 <blocks: [ 1* ], [ 2*, 3* ], [ 4*, 5*, 6*, 7* ], [ 8, 9, 10 ]>
 
-#
+# No point unbinding local variables, since this will only ever be run in a
+# workspace
 gap> SEMIGROUPS.StopTest();
 gap> STOP_TEST("Semigroups package: workspaces/load-workspace.tst");

tst/workspaces/load.g

@@ -0,0 +1,11 @@
+#############################################################################
+##
+#W  load.g
+#Y  Copyright (C) 2023                                    James D Mitchell
+##
+##  Licensing information can be found in the README file of this package.
+##
+#############################################################################
+##
+
+QuitGap(Test("tst/workspaces/load-workspace.tst") and SemigroupsTestInstall());

tst/workspaces/save-workspace.tst

@@ -14,9 +14,10 @@
 ##
 #############################################################################
 
+# DO NOT USE LOCAL VARIABLES @local in this file!
+
 # Set up testing environment
 
-#@local D, DD, S, T, U, b, cong, id, idd, x, xx, y
 gap> START_TEST("Semigroups package: workspaces/save-workspace.tst");
 gap> SetInfoLevel(InfoDebug, 0);
 gap> LoadPackage("semigroups", false);;
@@ -146,6 +147,20 @@ gap> SaveWorkspace(Concatenation(SEMIGROUPS.PackageDir,
 >                                "/tst/workspaces/test-output.w"));
 true
 
+# Unbind local variables, auto-generated by etc/tst-unbind-local-vars.py
+gap> Unbind(D);
+gap> Unbind(DD);
+gap> Unbind(S);
+gap> Unbind(T);
+gap> Unbind(U);
+gap> Unbind(b);
+gap> Unbind(cong);
+gap> Unbind(id);
+gap> Unbind(idd);
+gap> Unbind(x);
+gap> Unbind(xx);
+gap> Unbind(y);
+
 #
 gap> SEMIGROUPS.StopTest();
 gap> STOP_TEST("Semigroups package: workspaces/save-workspace.tst");

tst/workspaces/save.g

@@ -0,0 +1,14 @@
+#############################################################################
+##
+#W  save.g
+#Y  Copyright (C) 2023                                    James D Mitchell
+##
+##  Licensing information can be found in the README file of this package.
+##
+#############################################################################
+##
+
+SetInfoLevel(InfoPackageLoading, 4);
+LoadPackage("semigroups", false);
+SetInfoLevel(InfoPackageLoading, 0);
+QuitGap(SemigroupsTestInstall() and Test("tst/workspaces/save-workspace.tst"));