diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index be86d1c8c..6641b22ab 100644 --- 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: