File tree Expand file tree Collapse file tree 1 file changed +0
-3
lines changed Expand file tree Collapse file tree 1 file changed +0
-3
lines changed Original file line number Diff line number Diff line change 19
19
container :
20
20
image : ${{ matrix.image }}
21
21
steps :
22
- # keep workflow active even if repository has no activity for 60 days
23
- - run : ' curl --fail -X PUT -H "Accept: application/vnd.github.v3+json" -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" https://api.github.com/repos/$GITHUB_REPOSITORY/actions/workflows/Tests.yml/enable'
24
22
- uses : actions/checkout@v1
25
23
- run : mkdir -p /home/gap/.gap/pkg/
26
24
- run : sudo cp -a $GITHUB_WORKSPACE /home/gap/.gap/pkg/
29
27
export HOME="/home/gap"
30
28
cd /home/gap/.gap/pkg/
31
29
sudo apt update
32
- sudo apt dist-upgrade -y
33
30
sudo apt install -y texlive-latex-extra texlive-fonts-extra
34
31
git clone --depth 1 https://github.com/gap-packages/AutoDoc.git
35
32
git clone --depth 1 https://github.com/homalg-project/homalg_project.git
You can’t perform that action at this time.
0 commit comments