Another attept to clone a private repo

GaloisInc · Jun 11, 2024 · 986543f · 986543f
1 parent 2ef9d55
commit 986543f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
@@ -13,6 +13,7 @@ jobs:
         submodules: true
         repository: podhrmic/verse-vhost-device
         token: ${{ secrets.VHOST_DEVICE_ACCESS_TOKEN }}
+        path: src/pkvm_setup/vhost-device
     - name: Log in to Docker Hub
       run: echo "${{ secrets.DOCKER_PASSWORD }}" | docker login -u "${{ secrets.DOCKER_USERNAME }}" --password-stdin
     - name: Build the Docker image
@@ -33,6 +34,7 @@ jobs:
         submodules: true
         repository: podhrmic/verse-vhost-device
         token: ${{ secrets.VHOST_DEVICE_ACCESS_TOKEN }}
+        path: src/pkvm_setup/vhost-device
     - name: Log in to Docker Hub
       run: echo "${{ secrets.DOCKER_PASSWORD }}" | docker login -u "${{ secrets.DOCKER_USERNAME }}" --password-stdin
     - name: Build the Docker image