refactor(proofs/coq): consolidate trusted-base dups (Follow-ups 1+2+3… #104
hyperpolymathAnnotations
1 error
|
Invalid workflow file:
.github/workflows/scorecard.yml#L14
The workflow is not valid. .github/workflows/scorecard.yml (Line: 14, Col: 3): Error calling workflow 'hyperpolymath/standards/.github/workflows/scorecard-reusable.yml@e0caf11508a3989574713c78f5f444f2ce5e33ef'. The nested job 'analysis' is requesting 'security-events: write, id-token: write', but is only allowed 'security-events: read, id-token: read'.
|