diff --git a/.github/workflows/publish-knot-playground.yml b/.github/workflows/publish-knot-playground.yml index 7bea610c96..6dbacdf82e 100644 --- a/.github/workflows/publish-knot-playground.yml +++ b/.github/workflows/publish-knot-playground.yml @@ -14,6 +14,10 @@ on: - "playground" - ".github/workflows/publish-knot-playground.yml" +concurrency: + group: ${{ github.workflow }}-${{ github.ref_name }} + cancel-in-progress: true + env: CARGO_INCREMENTAL: 0 CARGO_NET_RETRY: 10