OpenSSF Scorecard Enforcer

proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX… #226

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-critical	6s
scorecard	42s
	48s