Repository navigation

fix(ci): repair the Coq gate on main — coqc not found (#711) #696

	# SPDX-License-Identifier: MPL-2.0
	name: Scorecards supply-chain security

	on:
	branch_protection_rule:
	schedule:
	- cron: '23 4 * * 1'
	push:
	branches: [main]

	permissions: read-all

	jobs:
	analysis:
	uses: hyperpolymath/standards/.github/workflows/scorecard-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9
	permissions:
	contents: read
	security-events: write
	id-token: write
	secrets: inherit