ID assignment action: guard against race conditions (#641)

* ID assignment action: guard against race conditions resulting in duplicate ID assignment

* Add duplicate ID guard file
This commit is contained in:
Sergey "Shnatsel" Davidoff
2021-01-22 00:32:36 +01:00
committed by GitHub
parent 6ee36b9a18
commit c910443c13
2 changed files with 9 additions and 0 deletions

View File

@@ -29,6 +29,12 @@ jobs:
message=$(rustsec-admin assign-id --github-actions-output)
echo "::set-output name=commit_message::${message}"
- name: Create duplicate ID assignment guard
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
- name: Lint advisories
run: rustsec-admin lint