Don’t cancel in progress runs

2023-06-22 14:31:45 +01:00
parent ff02ab2aa0
commit d88f8c87f6
1 changed files with 0 additions and 1 deletions
@@ -13,7 +13,6 @@ permissions:

 concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: true

 jobs:
  typecheck: