Skip to content

Actions: hyperpolymath/gnpl

Actions

Lean 4 Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean-build.yml
48 workflow runs
48 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
fix: AGENTIC licence line + a2ml-validate-action repin (standards#646… Lean 4 Build #48: Commit f3a498f pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(labels): estate label tooling + auto-triage for new issues (#21) Lean 4 Build #47: Commit 9b291eb pushed by hyperpolymath
Startup failure main
main
Startup failure
Lean 4 Build Lean 4 Build #46: synchronize by hyperpolymath
Startup failure automated/label-tooling
automated/label-tooling
Startup failure
Lean 4 Build Lean 4 Build #45: synchronize by hyperpolymath
Startup failure automated/label-tooling
automated/label-tooling
Startup failure
Lean 4 Build Lean 4 Build #44: opened by hyperpolymath
Startup failure automated/label-tooling
automated/label-tooling
Startup failure
fix(ci): unbreak workflow YAML and add a complete actions.lock (#20) Lean 4 Build #43: Commit c712a38 pushed by hyperpolymath
Startup failure main
main
Startup failure
Lean 4 Build Lean 4 Build #42: opened by hyperpolymath
Startup failure fix/workflow-dependency-locking
fix/workflow-dependency-locking
Startup failure
chore: remove extensionless MAINTAINERS duplicate Lean 4 Build #41: Commit 95d3803 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(licence): supply the actual MPL-2.0 text — repo was effectively u… Lean 4 Build #40: Commit 9d75974 pushed by hyperpolymath
Startup failure main
main
Startup failure
Lean 4 Build Lean 4 Build #39: opened by hyperpolymath
Startup failure fix/real-mpl-licence-text
fix/real-mpl-licence-text
Startup failure
refactor: migrate Markdown to AsciiDoc (#18) Lean 4 Build #38: Commit 934e01b pushed by hyperpolymath
Startup failure main
main
Startup failure
Lean 4 Build Lean 4 Build #37: opened by hyperpolymath
Startup failure refactor/md-to-adoc
refactor/md-to-adoc
Startup failure
refactor: semantic port TS to AffineScript (#17) Lean 4 Build #36: Commit a55680e pushed by hyperpolymath
-1s main
main
-1s
Lean 4 Build Lean 4 Build #35: opened by hyperpolymath
Startup failure refactor/semantic-port-typescript
refactor/semantic-port-typescript
Startup failure
refactor: eradicate TypeScript and NPM/Deno configs (#15) Lean 4 Build #34: Commit 2da3af4 pushed by hyperpolymath
Startup failure main
main
Startup failure
Lean 4 Build Lean 4 Build #33: opened by hyperpolymath
Startup failure refactor/eradicate-typescript
refactor/eradicate-typescript
Startup failure
chore(nix->guix): delete Nix estate-wide (#138) Lean 4 Build #32: Commit bd4ecb3 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(ci): SPDX headers on line 1 and Actions lockfile minted (#14) Lean 4 Build #31: Commit 4393c63 pushed by hyperpolymath
Startup failure main
main
Startup failure
Lean 4 Build Lean 4 Build #30: synchronize by hyperpolymath
Startup failure chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
Startup failure
chore(ci): make Scorecard periodic, not per-push (#13) Lean 4 Build #29: Commit 899b987 pushed by hyperpolymath
Startup failure main
main
Startup failure
Lean 4 Build Lean 4 Build #28: synchronize by hyperpolymath
Startup failure chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
Startup failure
Lean 4 Build Lean 4 Build #27: opened by hyperpolymath
Startup failure chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
Startup failure
Lean 4 Build Lean 4 Build #26: opened by hyperpolymath
Startup failure chore/scorecard-periodic
chore/scorecard-periodic
Startup failure
Lean 4 Build Lean 4 Build #25: synchronize by hyperpolymath
-1s chore/estate-topup
chore/estate-topup
-1s
feat(security): add gitleaks secret scanning — this repo had none (#12) Lean 4 Build #24: Commit fd01c0e pushed by hyperpolymath
Startup failure main
main
Startup failure