From 6fd3c683f8c82134281b64d2a737260e4010e67b Mon Sep 17 00:00:00 2001
From: karmacoma <karma@coma.lol>
Date: Fri, 7 Jun 2024 15:38:07 -0700
Subject: [PATCH] fix publish workflows

---
 .../workflows/publish-halmos-builder-package.yml    |  4 ++++
 .github/workflows/publish-halmos-package.yml        | 13 ++++++++-----
 .github/workflows/publish-solvers-package.yml       |  4 ++++
 3 files changed, 16 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/publish-halmos-builder-package.yml b/.github/workflows/publish-halmos-builder-package.yml
index bee7c02a..820ba9c2 100644
--- a/.github/workflows/publish-halmos-builder-package.yml
+++ b/.github/workflows/publish-halmos-builder-package.yml
@@ -28,6 +28,10 @@ jobs:
           username: ${{ github.actor }}
           password: ${{ secrets.GITHUB_TOKEN }}
 
+      - uses: actions/checkout@v4
+        with:
+          submodules: false
+
       - name: Build image
         run: docker build . --file packages/halmos-builder/Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"
 
diff --git a/.github/workflows/publish-halmos-package.yml b/.github/workflows/publish-halmos-package.yml
index 82f39cec..5f3378cb 100644
--- a/.github/workflows/publish-halmos-package.yml
+++ b/.github/workflows/publish-halmos-package.yml
@@ -21,11 +21,6 @@ jobs:
       contents: read
 
     steps:
-      - uses: actions/checkout@v4
-
-      - name: Build image
-        run: docker build . --file packages/halmos/Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"
-
       - name: Login to GitHub Container Registry
         uses: docker/login-action@v3
         with:
@@ -33,6 +28,14 @@ jobs:
           username: ${{ github.actor }}
           password: ${{ secrets.GITHUB_TOKEN }}
 
+      - uses: actions/checkout@v4
+        with:
+          # we may need tests/lib for the workflows using this image
+          submodules: recursive
+
+      - name: Build image
+        run: docker build . --file packages/halmos/Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"
+
       - name: Push image
         run: |
           IMAGE_ID=ghcr.io/${{ github.repository_owner }}/$IMAGE_NAME
diff --git a/.github/workflows/publish-solvers-package.yml b/.github/workflows/publish-solvers-package.yml
index 7c0d9b22..b1274e14 100644
--- a/.github/workflows/publish-solvers-package.yml
+++ b/.github/workflows/publish-solvers-package.yml
@@ -27,6 +27,10 @@ jobs:
           username: ${{ github.actor }}
           password: ${{ secrets.GITHUB_TOKEN }}
 
+      - uses: actions/checkout@v4
+        with:
+          submodules: false
+
       - name: Build image
         run: docker build . --file packages/solvers/Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"