Skip to content

Actions: hyperpolymath/wokelang

Actions

.github/workflows/lean-proofs.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean-proofs.yml
96 workflow runs
96 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Sync local commits to main (#127) .github/workflows/lean-proofs.yml #96: Commit c333c1b pushed by hyperpolymath
Failure main
main
Failure
sweep4: add C-A-G-M files .github/workflows/lean-proofs.yml #95: Commit aa75244 pushed by hyperpolymath
Failure sync-local-updates-1784832678
sync-local-updates-1784832678
Failure
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… .github/workflows/lean-proofs.yml #94: Commit 8647a09 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… .github/workflows/lean-proofs.yml #93: Commit 45c61bc pushed by hyperpolymath
Failure fix/governance-gate-sweep
fix/governance-gate-sweep
Failure
fix(ci): grant the secret-scanner reusable its required job permissio… .github/workflows/lean-proofs.yml #92: Commit 627fa31 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into fix/secret-scanner-permissions-signed .github/workflows/lean-proofs.yml #91: Commit 49c4e0e pushed by hyperpolymath
Failure fix/secret-scanner-permissions-signed
fix/secret-scanner-permissions-signed
Failure
security: re-pin secret scanner onto the real gitleaks gate (#125) .github/workflows/lean-proofs.yml #90: Commit 0ee3c11 pushed by hyperpolymath
Failure main
main
Failure
security: re-pin secret scanner onto the real gitleaks gate .github/workflows/lean-proofs.yml #89: Commit 453569a pushed by hyperpolymath
Failure security/real-secret-gate
security/real-secret-gate
Failure
fix(ci): drop the retired inline trufflehog job .github/workflows/lean-proofs.yml #88: Commit 4fd78da pushed by hyperpolymath
Failure fix/secret-scanner-permissions-signed
fix/secret-scanner-permissions-signed
Failure
fix(ci): grant the secret-scanner reusable its required job permissions .github/workflows/lean-proofs.yml #87: Commit b6ef087 pushed by hyperpolymath
Failure fix/secret-scanner-permissions-signed
fix/secret-scanner-permissions-signed
Failure
fix(ci): grant the secret-scanner reusable its required job permissions .github/workflows/lean-proofs.yml #86: Commit fb238b7 pushed by hyperpolymath
Failure fix/secret-scanner-caller-permissions
fix/secret-scanner-caller-permissions
Failure
ci: deploy docs via Ddraig SSG (#122) .github/workflows/lean-proofs.yml #85: Commit e60666c pushed by hyperpolymath
Failure main
main
Failure
ci: deploy docs via Ddraig SSG (#122) .github/workflows/lean-proofs.yml #84: Commit e60666c pushed by hyperpolymath
Failure main
main
Failure
ci: mass-deploy Ddraig SSG workflow .github/workflows/lean-proofs.yml #83: Commit 70b131c pushed by hyperpolymath
Failure feat/ddraig-pages-mass
feat/ddraig-pages-mass
Failure
fix(ci): drop beta-Rust CodeQL leg (cancelled/hanging 'checks 2 thing… .github/workflows/lean-proofs.yml #82: Commit ce58467 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into fix/codeql-drop-rust-beta-leg .github/workflows/lean-proofs.yml #81: Commit c5ff930 pushed by hyperpolymath
Failure fix/codeql-drop-rust-beta-leg
fix/codeql-drop-rust-beta-leg
Failure
fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p… .github/workflows/lean-proofs.yml #80: Commit 4f15722 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): drop the beta-Rust CodeQL leg, keep an actions leg .github/workflows/lean-proofs.yml #79: Commit 96e1157 pushed by hyperpolymath
Failure fix/codeql-drop-rust-beta-leg
fix/codeql-drop-rust-beta-leg
Failure
fix(ci): drop invalid job-level timeout-minutes from reusable-workflo… .github/workflows/lean-proofs.yml #78: Commit 3c6e863 pushed by hyperpolymath
Failure fix/ci-timeout-minutes-reusable
fix/ci-timeout-minutes-reusable
Failure
fix(ci): clear OSSF Scorecard startup_failure (#119) .github/workflows/lean-proofs.yml #77: Commit 39e8f48 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minutes) .github/workflows/lean-proofs.yml #76: Commit 70cdaba pushed by hyperpolymath
Failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Failure
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#118) .github/workflows/lean-proofs.yml #75: Commit c08858d pushed by hyperpolymath
Failure main
main
Failure
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#118) .github/workflows/lean-proofs.yml #74: Commit c08858d pushed by hyperpolymath
Failure main
main
Failure
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage .github/workflows/lean-proofs.yml #73: Commit c1c40b1 pushed by hyperpolymath
Failure ci/repin-rust-ci-reusable-412a7031
ci/repin-rust-ci-reusable-412a7031
Failure
docs: fold adversarial-review findings (honesty/divergence clarificat… .github/workflows/lean-proofs.yml #72: Commit e990dac pushed by hyperpolymath
Failure main
main
Failure