Fix a lingering reference from previous commit

mit-plv · Nov 12, 2023 · a47d22d · a47d22d
1 parent 77d9176
commit a47d22d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml
@@ -113,7 +113,7 @@ jobs:
     concurrency:
       group: ${{ github.workflow }}-test-amd64-${{ github.head_ref || github.run_id }}
       cancel-in-progress: true
-    needs: docker-build
+    needs: build
 
     steps:
     - name: checkout repo