More fixes to CI

ProvableHQ · Oct 8, 2024 · c89f1eb · c89f1eb
1 parent a418312
commit c89f1eb
Show file tree

Hide file tree

Showing 6 changed files with 27 additions and 3 deletions.
diff --git a/.github/workflows/acl2.yml b/.github/workflows/acl2.yml
@@ -11,6 +11,8 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v2
+        with:
+          submodules: true
 
       - name: Install Rust
         uses: actions-rs/toolchain@v1

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -31,6 +31,8 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v2
+        with:
+          submodules: true
 
       - name: Install sccache Ubuntu
         if: matrix.os == 'ubuntu-latest'
@@ -109,6 +111,8 @@ jobs:
 
       - name: Checkout
         uses: actions/checkout@v2
+        with:
+          submodules: true
 
       - name: Install sccache
         run: |
@@ -165,6 +169,8 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v2
+        with:
+          submodules: true
 
       - name: Install Rust Stable
         uses: actions-rs/toolchain@v1
@@ -189,6 +195,7 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v2
         with:
+          submodules: true
           ref: mainnet
 
       - name: Install sccache
@@ -257,6 +264,8 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v1
+        with:
+          submodules: true
 
       - name: Install sccache Ubuntu
         env:

diff --git a/.github/workflows/codecov.yml b/.github/workflows/codecov.yml
@@ -20,7 +20,9 @@ jobs:
       SCCACHE_DIR: /home/runner/.cache/sccache
     steps:
       - name: Checkout
-        uses: actions/checkout@v1
+        uses: actions/checkout@v2
+        with:
+          submodules: true
 
       - name: Install sccache Ubuntu
         env:

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -17,6 +17,8 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v2
         with:
+          with:
+            submodules: true
           ref: mainnet
 
       - name: Install sccache

diff --git a/.github/workflows/markdown.yml b/.github/workflows/markdown.yml
@@ -12,6 +12,7 @@ jobs:
     steps:
       - uses: actions/checkout@v2
         with:
+          submodules: true
           fetch-depth: 2
 
       - name: Get changed files

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -14,7 +14,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v1
+        uses: actions/checkout@v2
+        with:
+          submodules: true
 
       - name: Install Rust
         uses: actions-rs/toolchain@v1
@@ -98,7 +100,9 @@ jobs:
     runs-on: macos-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v1
+        uses: actions/checkout@v2
+        with:
+          submodules: true
 
       - name: Install Rust
         uses: actions-rs/toolchain@v1
@@ -146,6 +150,8 @@ jobs:
 
       - name: Checkout
         uses: actions/checkout@v2
+        with:
+          submodules: true
 
       - name: Install Rust
         uses: actions-rs/toolchain@v1
@@ -202,6 +208,8 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v2
+        with:
+          submodules: true
 
       - name: Install Rust
         uses: actions-rs/toolchain@v1