Merge pull request #17 from homalg-project/PackageJanitor-1633339834

Apply PackageJanitor
homalg-project · Oct 4, 2021 · 44bfa0b · 44bfa0b
2 parents 44123db + 0206a24
commit 44bfa0b
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/Tests.yml b/.github/workflows/Tests.yml
@@ -29,9 +29,10 @@ jobs:
       - run: |
           export HOME="/home/gap"
           cd /home/gap/.gap/pkg/
-          sudo apt update
-          sudo apt dist-upgrade -y
-          sudo apt install -y texlive-latex-extra texlive-fonts-extra
+          # work around https://github.com/gap-system/gap-docker-base/issues/30
+          sudo apt -o Acquire::https::Verify-Peer="false" update
+          sudo apt -o Acquire::https::Verify-Peer="false" dist-upgrade -y
+          sudo apt -o Acquire::https::Verify-Peer="false" install -y texlive-latex-extra texlive-fonts-extra
           cp ./SubcategoriesForCAP/ci_gaprc /home/gap/.gap/gaprc
           git clone --depth 1 https://github.com/gap-packages/AutoDoc.git
           git clone --depth 1 https://github.com/homalg-project/homalg_project.git