Skip to content
Scorecards supply-chain security

fix(proofs): census reads logical roots from _CoqProject; restore Fil… #235

Sign in to view logs

fix(proofs): census reads logical roots from _CoqProject; restore Fil…

fix(proofs): census reads logical roots from _CoqProject; restore Fil… #235

Triggered via push October 1, 2026 12:49
@hyperpolymathhyperpolymath
pushed f486c29
main
Status Success
Total duration 1m 21s
Artifacts 1

scorecard.yml

on: push
scorecard  /  Run Scorecard
1m 16s
scorecard / Run Scorecard
scorecard  /  Run Scorecard PR
scorecard / Run Scorecard PR
Fit to window
Zoom out
Zoom in

Annotations

1 notice
scorecard / Run Scorecard
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

Artifacts

Produced during runtime
Name Size Digest
scorecard-results
34.3 KB
sha256:b3b46c221f7b038fcc028efaf5c64f0f3bead2deb5ff686725db547f732b8844