Skip to content
OpenSSF Scorecard Enforcer

proofs(Layer 1.0): close slash-slash inductive case via mutual recurs… #222

Sign in to view logs

proofs(Layer 1.0): close slash-slash inductive case via mutual recurs…

proofs(Layer 1.0): close slash-slash inductive case via mutual recurs… #222

Triggered via push June 2, 2026 19:22
@hyperpolymathhyperpolymath
pushed 833f394
main
Status Cancelled
Total duration 9s
Artifacts –

scorecard-enforcer.yml

on: push
scorecard
7s
scorecard
check-critical
7s
check-critical
Fit to window
Zoom out
Zoom in

Annotations

3 errors
check-critical
Canceling since a higher priority waiting request for OpenSSF Scorecard Enforcer-refs/heads/main exists
scorecard
Canceling since a higher priority waiting request for OpenSSF Scorecard Enforcer-refs/heads/main exists
OpenSSF Scorecard Enforcer
Canceling since a higher priority waiting request for OpenSSF Scorecard Enforcer-refs/heads/main exists