diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b9feefc85..e4beb9701 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,7 +1,7 @@ name: ci on: [push, pull_request] concurrency: - group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }} cancel-in-progress: true jobs: diff --git a/ci/sub b/ci/sub index 64036dae6..c209cbcd9 160000 --- a/ci/sub +++ b/ci/sub @@ -1 +1 @@ -Subproject commit 64036dae6aa4da7c5928e0b00e4d360f4cafa238 +Subproject commit c209cbcd9fafc5664d16531aa48eb050b5ff4b19