From d568da73ff0fb99ff1f651efaa195f04ad551fde Mon Sep 17 00:00:00 2001 From: Fabian Zickgraf Date: Mon, 4 Oct 2021 11:30:10 +0200 Subject: [PATCH] Apply PackageJanitor --- .github/workflows/Tests.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/Tests.yml b/.github/workflows/Tests.yml index 8ce6627..4870c5b 100644 --- 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 ./CatReps/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