File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 3232
3333 include :
3434 - gap-branch : stable-4.10
35- pkgs-to-clone : datastructures
3635 os : ubuntu
3736 - gap-branch : master
38- pkgs-to-clone : " datastructures NautyTracesInterface"
37+ pkgs-to-clone : " NautyTracesInterface"
3938 os : macos
4039 - gap-branch : master
4140 os : ubuntu
6160 run : |
6261 curl --retry 5 -L -O "https://digraphs.github.io/Digraphs/${{ env.DIGRAPHS_LIB }}.tar.gz"
6362 tar xf "${{ env.DIGRAPHS_LIB }}.tar.gz"
63+ - name : " Clone datastructures v0.3.0"
64+ run : |
65+ if [ ! -d $HOME/gap/pkg/datastructures ]; then
66+ cd $HOME/gap/pkg/
67+ git clone https://github.com/gap-packages/datastructures.git datastructures
68+ cd datastructures
69+ git checkout v0.3.0
70+ ./configure
71+ make
72+ fi
6473 - name : " Run DigraphsTestInstall"
6574 uses : gap-actions/run-pkg-tests@v2
6675 with :
You can’t perform that action at this time.
0 commit comments