Point to correct branch again

libsemigroups · Apr 8, 2024 · 5e5a8b3 · 5e5a8b3
1 parent f891446
commit 5e5a8b3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -31,7 +31,7 @@ jobs:
           echo "LD_LIBRARY_PATH=$MAMBA_ROOT_PREFIX/envs/libsemigroups/lib:/usr/local/lib" >> $GITHUB_ENV
       - name: "Install libsemigroups . . ."
         run: |
-          git clone --depth 1 --v3 https://github.com/libsemigroups/libsemigroups.git
+          git clone --depth 1 --branch v3 https://github.com/libsemigroups/libsemigroups.git
           cd libsemigroups
           ./autogen.sh && ./configure CXXFLAGS='-O3 -g'  --disable-hpcombi --with-external-fmt && sudo make install -j8
       - name: "Python version . . ."