CI: add a Valgrind workflow

Author: wilfwilson

.github/workflows/valgrind.yml

@@ -0,0 +1,57 @@
+name: Valgrind
+on:
+  workflow_dispatch:
+  release:
+    types: [created]
+  push:
+    paths:
+      - src/*.[hc]
+  pull_request:
+    paths:
+      - src/*.[hc]
+
+concurrency:
+  # Group by workflow and ref; the last component ensures that for pull
+  # requests, we limit to 1 concurrent job, but for the main branch we don't
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/main' || github.run_number }}
+  # Only cancel intermediate pull request builds
+  cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
+
+jobs:
+  test-valgrind:
+    name: "Ubuntu / GAP stable-4.15 / valgrind"
+    runs-on: ubuntu-latest
+    env:
+      NO_COVERAGE: true
+      VALGRIND: valgrind --trace-children=yes --leak-check=full --error-exitcode=1
+    steps:
+      - uses: actions/checkout@v5
+      - name: "Output g++ version . . ."
+        run: g++ --version
+      - name: "Install Valgrind . . ."
+        run: sudo apt-get install valgrind
+      - name: "Install GAP . . ."
+        uses: gap-actions/setup-gap@v3
+        with:
+          gap-version: stable-4.15
+          configflags: --enable-valgrind
+      - name: "Build additional necessary GAP packages . . ."
+        run: |
+          cd ${GAPROOT}/pkg
+          ../bin/BuildPackages.sh --strict digraphs* io* orb* datastructures* profiling*
+      - name: "Build Semigroups . . ."
+        uses: gap-actions/build-pkg@v2
+        with:
+          CONFIGFLAGS: --disable-hpcombi
+      - name: "Run SemigroupsTestInstall . . ."
+        uses: gap-actions/run-pkg-tests@v4
+        with:
+          testfile: tst/github_actions/install.g
+          pre-gap: ${{ env.VALGRIND }}
+          coverage: false
+      - name: "Run SemigroupsTestStandard . . ."
+        uses: gap-actions/run-pkg-tests@v4
+        with:
+          testfile: tst/github_actions/standard.g
+          pre-gap: ${{ env.VALGRIND }}
+          coverage: false

tst/github_actions/examples.g

@@ -0,0 +1,7 @@
+LoadPackage("semigroups", false);;
+if SEMIGROUPS.TestManualExamples() then
+  QUIT_GAP(0);
+else
+  QUIT_GAP(1);
+fi;
+FORCE_QUIT_GAP(1);

tst/github_actions/extreme.g

@@ -0,0 +1,7 @@
+LoadPackage("semigroups", false);;
+if SemigroupsTestExtreme(rec(earlyStop := false)) then
+  QUIT_GAP(0);
+else
+  QUIT_GAP(1);
+fi;
+FORCE_QUIT_GAP(1);

tst/github_actions/install.g

@@ -0,0 +1,7 @@
+LoadPackage("semigroups", false);;
+if SemigroupsTestInstall() then
+  QUIT_GAP(0);
+else
+  QUIT_GAP(1);
+fi;
+FORCE_QUIT_GAP(1);

tst/github_actions/standard.g

@@ -0,0 +1,7 @@
+LoadPackage("semigroups", false);;
+if SemigroupsTestStandard(rec(earlyStop := false)) then
+  QUIT_GAP(0);
+else
+  QUIT_GAP(1);
+fi;
+FORCE_QUIT_GAP(1);