File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 3939 install_ccache : true
4040 - name : " Install libsemigroups . . ."
4141 run : |
42- git clone --depth 1 --branch stable-3.0 https://github.com/libsemigroups/libsemigroups.git
42+ git clone --depth 1 --branch main https://github.com/libsemigroups/libsemigroups.git
4343 cd libsemigroups
4444 ./autogen.sh && ./configure CXX="$CXX" CXXFLAGS="$CXXFLAGS" --disable-hpcombi --with-external-fmt && sudo make install -j8
4545 ccache -s
@@ -102,7 +102,7 @@ jobs:
102102 install_ccache : true
103103 - name : " Install libsemigroups . . ."
104104 run : |
105- git clone --depth 1 --branch stable-3.0 https://github.com/libsemigroups/libsemigroups.git
105+ git clone --depth 1 --branch main https://github.com/libsemigroups/libsemigroups.git
106106 cd libsemigroups
107107 ./autogen.sh
108108 ./configure CXX="$CXX" CXXFLAGS="$CXXFLAGS" --disable-hpcombi --with-external-fmt
You can’t perform that action at this time.
0 commit comments