Parallel Fixed Dep Builds (#950)

Do not cancel jobs in progress when a new job is requested
runtimeverification · Jan 28, 2025 · 9de9378 · 9de9378
1 parent a33ab8d
commit 9de9378
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/kontrol-push-fixed-deps.yml b/.github/workflows/kontrol-push-fixed-deps.yml
@@ -8,10 +8,6 @@ on:
         description: "Branch of Kontrol to use to build the Docker image"
         required: true
 
-concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: true
-
 jobs:
   dockerhub:
     name: 'Build and Publish Docker Image'