Skip to content
Scorecards supply-chain security

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

Sign in to view logs

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

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

Triggered via push August 3, 2026 13:15
@hyperpolymathhyperpolymath
pushed 7f6cb79
main
Status Success
Total duration 12m 45s
Artifacts 1

scorecard.yml

on: push
analysis  /  Run Scorecard
23s
analysis / Run Scorecard
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
scorecard-results
2.72 KB
sha256:7cc67b1c6d7445c6aa7ce414fed997fc217956d396368206215fe2c4a73e599a