From 4c42d91745d1a9b148318bf2c82b158747581202 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 16 Apr 2024 22:12:51 -0700 Subject: [PATCH] Update coq-debian.yml --- .github/workflows/coq-debian.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/coq-debian.yml b/.github/workflows/coq-debian.yml index 31e36e3a20..38fcd7c713 100644 --- a/.github/workflows/coq-debian.yml +++ b/.github/workflows/coq-debian.yml @@ -30,13 +30,13 @@ jobs: cancel-in-progress: true steps: - - uses: actions/checkout@v4 - with: - submodules: recursive - name: install system dependencies run: | apt-get -o Acquire::Retries=30 update -y apt-get -q -y --allow-unauthenticated -o Acquire::Retries=30 install sudo git make time jq python3 python-is-python3 ocaml coq libcoq-core-ocaml-dev libfindlib-ocaml-dev ocaml-findlib cabal-install js-of-ocaml + - uses: actions/checkout@v4 + with: + submodules: recursive - name: container build params run: etc/ci/describe-system-config.sh - name: make deps