Don’t cancel in progress runs

ericallam · ericallam · commit d88f8c87f67f · 2023-06-22T14:31:52.000+01:00
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -13,7 +13,6 @@ permissions:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: true
 
 jobs:
   typecheck:
