Skip to content

Actions: hyperpolymath/gnpl

Actions

Lean 4 Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean-build.yml
87 workflow runs
87 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
docs: add Signed commits section to CONTRIBUTING (#35) Lean 4 Build #87: Commit 21fcd17 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci(secret-scan): rename caller job key secret-scan -> scan (D243) (#36) Lean 4 Build #86: Commit 0b5dc5a pushed by hyperpolymath
Startup failure main
main
Startup failure
Lean 4 Build Lean 4 Build #85: opened by hyperpolymath
Startup failure ci/secret-scan-floor-key
ci/secret-scan-floor-key
Startup failure
Lean 4 Build Lean 4 Build #84: opened by hyperpolymath
Startup failure docs/signing-policy-d218
docs/signing-policy-d218
Startup failure
Lean 4 Build Lean 4 Build #83: Manually run by hyperpolymath
1s main
main
1s
Lean 4 Build Lean 4 Build #82: Manually run by hyperpolymath
1s main
main
1s
Lean 4 Build Lean 4 Build #81: Manually run by hyperpolymath
1s main
main
1s
Lean 4 Build Lean 4 Build #80: Manually run by hyperpolymath
1s main
main
1s
Lean 4 Build Lean 4 Build #79: Manually run by hyperpolymath
1s main
main
1s
Lean 4 Build Lean 4 Build #78: Manually run by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): repair the permissions block indentation (#34) Lean 4 Build #77: Commit 35026ca pushed by hyperpolymath
Startup failure main
main
Startup failure
Lean 4 Build Lean 4 Build #76: opened by hyperpolymath
Startup failure fix/ci-permissions-indentation
fix/ci-permissions-indentation
Startup failure
fix(ci): grant callers the permissions their reusable workflows decla… Lean 4 Build #75: Commit 927875c pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): grant callers the permissions their reusable workflows decla… Lean 4 Build #74: Commit 38b360e pushed by hyperpolymath
59m 12s main
main
59m 12s
fix(ci): grant callers the permissions their reusable workflows declare Lean 4 Build #73: Pull request #33 opened by hyperpolymath
55m 24s fix/reusable-caller-permissions
fix/reusable-caller-permissions
55m 24s
Lean 4 Build Lean 4 Build #72: opened by hyperpolymath
Startup failure fix/actions-lockfile
fix/actions-lockfile
Startup failure
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… Lean 4 Build #71: Commit 6bd0b2b pushed by hyperpolymath
1h 19m 25s main
main
1h 19m 25s
ci(hypatia): standardise the wrapper caller id to the canonical hypatia Lean 4 Build #70: Pull request #31 opened by hyperpolymath
20m 11s fix/hypatia-caller-id
fix/hypatia-caller-id
20m 11s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) … Lean 4 Build #69: Commit 413d6b5 pushed by hyperpolymath
10m 44s main
main
10m 44s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) Lean 4 Build #68: Pull request #30 opened by hyperpolymath
5m 44s fix/sha-pin-actions
fix/sha-pin-actions
5m 44s
fix(ci): pin third-party actions to full commit SHAs (#29) Lean 4 Build #67: Commit 34f5fbe pushed by hyperpolymath
Startup failure main
main
Startup failure
Lean 4 Build Lean 4 Build #66: opened by hyperpolymath
Startup failure fix/sha-pin-actions
fix/sha-pin-actions
Startup failure
fix(docs): render the repository-structure tree as a tree (#28) Lean 4 Build #65: Commit b1c8779 pushed by hyperpolymath
33m 39s main
main
33m 39s
fix(docs): render the repository-structure tree as a tree Lean 4 Build #64: Pull request #28 synchronize by hyperpolymath
25m 21s fix/contributing-guide-content
fix/contributing-guide-content
25m 21s
fix(docs): render the repository-structure tree as a tree Lean 4 Build #63: Pull request #28 opened by hyperpolymath
4m 52s fix/contributing-guide-content
fix/contributing-guide-content
4m 52s