Merge branch 'master' into dominators

.codecov.yml

@@ -0,0 +1,15 @@
+coverage:
+  precision: 2      # Report coverage to 2 decimal places
+  round: down       # Round down
+  range: "90...100" # Anything below 90% is coloured red (considered bad)
+  status:           # Various customisations that it seems should be off
+    project: off
+    patch: off
+    changes: off
+
+comment:
+  layout: "header, diff, changes, tree"
+  behavior: default
+
+ignore:
+ - "extern"         # Do not check coverage on the extern directory

.github/workflows/GAP.yml

@@ -0,0 +1,32 @@
+name: "GAP tests"
+
+# Trigger the workflow on push or pull request
+on:
+  - push
+  - pull_request
+
+jobs:
+  test:
+    name: "GAP ${{ matrix.gap-branch }} on ${{ matrix.os }}"
+    runs-on: ${{ matrix.os }}
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [ubuntu-latest]
+        digraphs-lib:
+          - digraphs-lib-0.6
+        gap-branch:
+          - master
+          - stable-4.11
+
+    steps:
+      - uses: actions/checkout@v2
+      - uses: gap-actions/setup-gap-for-packages@v1
+        with:
+          GAP_PKGS_TO_CLONE: "NautyTracesInterface"
+          GAP_PKGS_TO_BUILD: "io orb profiling grape NautyTracesInterface datastructures"
+          GAPBRANCH: ${{ matrix.gap-branch }}
+      - name: "Install digraphs-lib"
+        run: curl --retry 5 -L -O https://digraphs.github.io/Digraphs/${{ matrix.digraphs-lib }}.tar.gz
+             && tar xf ${{ matrix.digraphs-lib }}.tar.gz
+      - uses: gap-actions/run-test-for-packages@v1

.github/workflows/ci.yml

@@ -0,0 +1,13 @@
+name: CI
+on: [pull_request]
+
+jobs:
+   lint:
+      runs-on: ubuntu-latest
+      steps:
+         - uses: actions/checkout@v2
+         - name: "Install dependencies . . ."
+           run: |
+                sudo pip install gaplint cpplint
+         - name: "Run gaplint + cpplint . . ."
+           run: bash etc/lint.sh