Skip to content

Actions: hyperpolymath/wokelang

Actions

lean-proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean-proofs.yml
107 workflow runs
107 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
build(deps): bump the actions group with 10 updates (#143) lean-proofs #107: Commit d19cab0 pushed by hyperpolymath
44s main
main
44s
lean-proofs lean-proofs #106: opened by dependabot Bot
Startup failure dependabot/github_actions/actions-5a60ffb33c
dependabot/github_actions/actions-5a60ffb33c
Startup failure
build(deps): bump the actions group with 10 updates lean-proofs #105: Commit 8b4bfd4 pushed by dependabot Bot
Startup failure dependabot/github_actions/actions-5a60ffb33c
dependabot/github_actions/actions-5a60ffb33c
Startup failure
refactor: migrate Markdown to AsciiDoc (#135) lean-proofs #104: Commit a6929c9 pushed by hyperpolymath
1h 5m 39s main
main
1h 5m 39s
refactor: migrate Markdown to AsciiDoc lean-proofs #103: Pull request #135 opened by hyperpolymath
1h 6m 6s refactor/md-to-adoc
refactor/md-to-adoc
1h 6m 6s
refactor: migrate repository documentation from Markdown to AsciiDoc lean-proofs #102: Commit 5de596c pushed by hyperpolymath
1h 6m 48s refactor/md-to-adoc
refactor/md-to-adoc
1h 6m 48s
fix(ci): make the secret scanner and the Lean proof gate actually run… lean-proofs #101: Commit 7864eb0 pushed by hyperpolymath
36s main
main
36s
fix(ci): make the secret scanner and the Lean proof gate actually run lean-proofs #100: Pull request #129 opened by hyperpolymath
4m 27s fix/valid-workflows-secret-scanner-and-lean-proofs
fix/valid-workflows-secret-scanner-and-lean-proofs
4m 27s
fix(ci): make the secret scanner and the Lean proof gate actually run lean-proofs #99: Commit 996e80c pushed by hyperpolymath
33s fix/valid-workflows-secret-scanner-and-lean-proofs
fix/valid-workflows-secret-scanner-and-lean-proofs
33s
fix(ci): re-point validate-action references at the ecosystem repos (… lean-proofs #98: Commit cfbde36 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): re-point validate-action references at the ecosystem repos lean-proofs #97: Commit a1169ff pushed by hyperpolymath
Failure fix/repoint-validate-actions
fix/repoint-validate-actions
Failure
Sync local commits to main (#127) lean-proofs #96: Commit c333c1b pushed by hyperpolymath
Failure main
main
Failure
sweep4: add C-A-G-M files lean-proofs #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… lean-proofs #94: Commit 8647a09 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… lean-proofs #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… lean-proofs #92: Commit 627fa31 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into fix/secret-scanner-permissions-signed lean-proofs #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) lean-proofs #90: Commit 0ee3c11 pushed by hyperpolymath
Failure main
main
Failure
security: re-pin secret scanner onto the real gitleaks gate lean-proofs #89: Commit 453569a pushed by hyperpolymath
Failure security/real-secret-gate
security/real-secret-gate
Failure
fix(ci): drop the retired inline trufflehog job lean-proofs #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 lean-proofs #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 lean-proofs #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) lean-proofs #85: Commit e60666c pushed by hyperpolymath
Failure main
main
Failure
ci: deploy docs via Ddraig SSG (#122) lean-proofs #84: Commit e60666c pushed by hyperpolymath
Failure main
main
Failure
ci: mass-deploy Ddraig SSG workflow lean-proofs #83: Commit 70b131c pushed by hyperpolymath
Failure feat/ddraig-pages-mass
feat/ddraig-pages-mass
Failure