From e6776d47d31defed6dab58a53759743dc5dfc12d Mon Sep 17 00:00:00 2001
From: "James D. Mitchell" <jdm3@st-andrews.ac.uk>
Date: Fri, 3 Feb 2023 17:15:38 +0000
Subject: [PATCH] ci: update for libsemigroups v3

---
 .github/workflows/tests-dev.yml | 48 +++++++++++++++++++++++++++++++++
 .github/workflows/tests.yml     | 10 ++++++-
 2 files changed, 57 insertions(+), 1 deletion(-)
 create mode 100644 .github/workflows/tests-dev.yml

diff --git a/.github/workflows/tests-dev.yml b/.github/workflows/tests-dev.yml
new file mode 100644
index 00000000..594ccedb
--- /dev/null
+++ b/.github/workflows/tests-dev.yml
@@ -0,0 +1,48 @@
+name: libsemigroups v3
+on:
+  workflow_dispatch:
+  pull_request:
+    branches:
+      - "libsemigroups-v3"
+  push:
+    branches:
+      - "libsemigroups-v3"
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  default:
+    strategy:
+      fail-fast: false
+      matrix:
+        python_version: ["3.8", "3.9", "3.10", "3.11"]
+    runs-on: ubuntu-latest
+    timeout-minutes: 15
+    env:
+      LD_LIBRARY_PATH: "/usr/local/lib"
+    steps:
+      - uses: actions/checkout@v3
+      - uses: actions/setup-python@v4
+        with:
+          python-version: '${{ matrix.python_version }}'
+      - name: "Download libsemigroups v3 branch . . ."
+        run: git clone https://github.com/libsemigroups/libsemigroups.git --branch v3 --depth=1
+      - name: "Build libsemigroups . . ."
+        run: |
+          cd libsemigroups
+          echo 2.5.1 > .VERSION
+          ./autogen.sh
+          ./configure --disable-hpcombi --disable-eigen
+          sudo make install -j4
+      - name: "Pip installing requirements.txt . . ."
+        run: pip3 install -r requirements.txt
+      - name: "Pip installing libsemigroups_pybind11 . . ."
+        run: pip3 install . -v
+      - name: "Running \"make check\" . . ."
+        run: make check
+      - name: "Pip installing pylint + cpplint . . ."
+        run: pip3 install pylint cpplint
+      - name: "Running \"make lint\" . . ."
+        run: make lint
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 5c59787f..81c7ae70 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -1,5 +1,13 @@
 name: Run tests and lint
-on: [pull_request]
+on:
+  pull_request:
+    branches:
+      - 'main'
+      - 'stable-*.*'
+  push:
+    branches:
+      - 'main'
+      - 'stable-*.*'
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}