From 23f7136495a42e97381279482a6c24e9b7c28565 Mon Sep 17 00:00:00 2001 From: Filipe Marques Date: Mon, 7 Oct 2024 17:19:32 +0100 Subject: [PATCH] Don't clone submodules in CI --- .github/workflows/build.yml | 2 -- .github/workflows/test-bitwuzla.yml | 2 -- .github/workflows/test-colibri2.yml | 2 -- .github/workflows/test-cvc5.yml | 2 -- .github/workflows/test-z3.yml | 2 -- 5 files changed, 10 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 38174386..6beb150f 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -26,8 +26,6 @@ jobs: steps: - name: Checkout uses: actions/checkout@v4 - with: - submodules: recursive - name: Setup OCaml ${{ matrix.ocaml-compiler }} uses: ocaml/setup-ocaml@v3 diff --git a/.github/workflows/test-bitwuzla.yml b/.github/workflows/test-bitwuzla.yml index 3b0525c5..3efc5e3b 100644 --- a/.github/workflows/test-bitwuzla.yml +++ b/.github/workflows/test-bitwuzla.yml @@ -16,8 +16,6 @@ jobs: steps: - name: Checkout uses: actions/checkout@v4 - with: - submodules: recursive - name: Setup OCaml 4.14 uses: ocaml/setup-ocaml@v3 diff --git a/.github/workflows/test-colibri2.yml b/.github/workflows/test-colibri2.yml index e743281c..d7c1b05d 100644 --- a/.github/workflows/test-colibri2.yml +++ b/.github/workflows/test-colibri2.yml @@ -16,8 +16,6 @@ jobs: steps: - name: Checkout uses: actions/checkout@v4 - with: - submodules: recursive - name: Setup OCaml 4.14 uses: ocaml/setup-ocaml@v3 diff --git a/.github/workflows/test-cvc5.yml b/.github/workflows/test-cvc5.yml index 2ec26514..29daeb71 100644 --- a/.github/workflows/test-cvc5.yml +++ b/.github/workflows/test-cvc5.yml @@ -17,8 +17,6 @@ jobs: steps: - name: Checkout uses: actions/checkout@v4 - with: - submodules: recursive - name: Setup OCaml 4.14 uses: ocaml/setup-ocaml@v3 diff --git a/.github/workflows/test-z3.yml b/.github/workflows/test-z3.yml index befd6405..fdab7836 100644 --- a/.github/workflows/test-z3.yml +++ b/.github/workflows/test-z3.yml @@ -16,8 +16,6 @@ jobs: steps: - name: Checkout uses: actions/checkout@v4 - with: - submodules: recursive - name: Setup OCaml 4.14 uses: ocaml/setup-ocaml@v3