From c5864c24b599d27368234fdcc710a0a022dbd82a Mon Sep 17 00:00:00 2001 From: "Sergey \"Shnatsel\" Davidoff" Date: Mon, 8 Aug 2022 16:21:09 +0200 Subject: [PATCH] Fix "ghost" ID assignment PRs (#1332) --- .github/workflows/assign-ids.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/assign-ids.yml b/.github/workflows/assign-ids.yml index ac92b12..2c338b9 100644 --- a/.github/workflows/assign-ids.yml +++ b/.github/workflows/assign-ids.yml @@ -33,7 +33,7 @@ jobs: run: | echo "This file causes merge conflicts if two ID assignment jobs run concurrently." > .duplicate-id-guard echo "This prevents duplicate ID assignment due to a race between those jobs." >> .duplicate-id-guard - ls -R . | sha256sum >> .duplicate-id-guard + ls -R ./crates/ ./rust/ | sha256sum >> .duplicate-id-guard - name: Create pull request uses: peter-evans/create-pull-request@v3