Fix docker some more.

ethz-asl · Nov 7, 2023 · 98f5793 · 98f5793
1 parent eeed2f0
commit 98f5793
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docker.yaml b/.github/workflows/docker.yaml
@@ -65,6 +65,8 @@ jobs:
   # The name of the job is "build". All jobs run in SEPARATE containers, so
   # they may run on separate machines and have the workspace wiped inbetween.
   build:
+    # You need to specify the dependency on the previous job (docker) here!
+    needs: docker
     # Run on a github-hosted runner. To specify our own, select:
     # [self-hosted, linux] instead.
     runs-on: ubuntu-latest