Fix "ghost" ID assignment PRs (#1332)

This commit is contained in:
Sergey "Shnatsel" Davidoff
2022-08-08 16:21:09 +02:00
committed by GitHub
parent 744a565d54
commit c5864c24b5

View File

@@ -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