Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r… #284
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # SPDX-License-Identifier: MPL-2.0 | |
| name: Scorecards supply-chain security | |
| on: | |
| branch_protection_rule: | |
| schedule: | |
| - cron: '23 4 * * 1' | |
| push: | |
| branches: [main] | |
| permissions: | |
| contents: read | |
| jobs: | |
| analysis: | |
| # Explicit least-privilege permissions for the OSSF Scorecard reusable | |
| # workflow (the documented set), instead of relying on a broad | |
| # workflow-level `read-all`: | |
| permissions: | |
| contents: read # read the repository | |
| actions: read # inspect workflow runs (Token-Permissions, etc.) | |
| security-events: write # upload results to the code-scanning dashboard | |
| id-token: write # OIDC, to publish results / badge | |
| uses: hyperpolymath/standards/.github/workflows/scorecard-reusable.yml@d7c22711e830e1f383846472f6e9b99debdb201e | |
| secrets: inherit |