Update coq-debian.yml for amd64-files

mit-plv · Aug 8, 2023 · 80d4c71 · 80d4c71
1 parent 2391f1b
commit 80d4c71
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/coq-debian.yml b/.github/workflows/coq-debian.yml
@@ -35,7 +35,7 @@ jobs:
         sudo mkdir /chroot
         sudo apt-get -q -y -o Acquire::Retries=30 update
         sudo apt-get -q -y -o Acquire::Retries=30 install debootstrap
-        sudo debootstrap --variant=minbase "$DEBIAN" /chroot http://debian-archive.trafficmanager.net/debian/ || cat /tmp/tmp.*/debootstrap/debootstrap.log
+        sudo debootstrap --variant=minbase "$DEBIAN" /chroot http://debian-archive.trafficmanager.net/debian/ || ( cat /tmp/tmp.*/debootstrap/debootstrap.log ; exit 1 )
         sudo mount proc /chroot/proc -t proc
         sudo mount sysfs /chroot/sys -t sysfs
         sudo chroot /chroot apt-get -q -y -o Acquire::Retries=30 install ca-certificates git make time jq python3 python-is-python3 ocaml coq libcoq-core-ocaml-dev libfindlib-ocaml-dev ocaml-findlib cabal-install
@@ -91,9 +91,11 @@ jobs:
       run: cat time-of-build-pretty.log
     - name: display per-line timing info
       run: etc/ci/github-actions-display-per-line-timing.sh
+
   test-amd64:
 
     runs-on: ubuntu-latest
+    env: { DEBIAN: "sid" }
 
     concurrency:
       group: ${{ github.workflow }}-test-amd64-${{ github.head_ref || github.run_id }}
@@ -110,7 +112,7 @@ jobs:
         sudo mkdir /chroot
         sudo apt-get -q -y -o Acquire::Retries=30 update
         sudo apt-get -q -y -o Acquire::Retries=30 install debootstrap
-        sudo debootstrap --variant=minbase "$DEBIAN" /chroot http://debian-archive.trafficmanager.net/debian/ || cat /tmp/tmp.*/debootstrap/debootstrap.log
+        sudo debootstrap --variant=minbase "$DEBIAN" /chroot http://debian-archive.trafficmanager.net/debian/ || ( cat /tmp/tmp.*/debootstrap/debootstrap.log ; exit 1 )
         sudo mount proc /chroot/proc -t proc
         sudo mount sysfs /chroot/sys -t sysfs
         sudo chroot /chroot apt-get -q -y -o Acquire::Retries=30 install ca-certificates git make time jq python3 python-is-python3 ocaml coq libcoq-core-ocaml-dev libfindlib-ocaml-dev ocaml-findlib cabal-install