Use libsemigroups stable-3.0 in the ci

Author: Joseph-Edwards

.github/workflows/tests.yml

@@ -39,7 +39,7 @@ jobs:
           install_ccache: true
       - name: "Install libsemigroups . . ."
         run: |
-          git clone --depth 1 --branch v3 https://github.com/libsemigroups/libsemigroups.git
+          git clone --depth 1 --branch stable-3.0 https://github.com/libsemigroups/libsemigroups.git
           cd libsemigroups
           ./autogen.sh && ./configure CXX="$CXX" CXXFLAGS="$CXXFLAGS" --disable-hpcombi --with-external-fmt && sudo make install -j8
           ccache -s
@@ -102,7 +102,7 @@ jobs:
           install_ccache: true
       - name: "Install libsemigroups . . ."
         run: |
-          git clone --depth 1 --branch v3 https://github.com/libsemigroups/libsemigroups.git
+          git clone --depth 1 --branch stable-3.0 https://github.com/libsemigroups/libsemigroups.git
           cd libsemigroups
           ./autogen.sh 
           ./configure CXX="$CXX" CXXFLAGS="$CXXFLAGS" --disable-hpcombi --with-external-fmt