Skip to content

Actions: hyperpolymath/valence-shell

Actions

Lean Verification Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean-verification.yml
85 workflow runs
85 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/verify preconditions real Lean Verification Build #85: Pull request #216 synchronize by hyperpolymath
3m 59s fix/verify-preconditions-real
fix/verify-preconditions-real
3m 59s
fix(rust-cli): real Lean precondition checks in verification.rs (P0-5) Lean Verification Build #84: Pull request #215 opened by hyperpolymath
2m 45s fix/verify-preconditions-real
fix/verify-preconditions-real
2m 45s
fix(test): model oracle test fails instead of skipping as a pass (P0-… Lean Verification Build #83: Commit 3440d69 pushed by hyperpolymath
2m 54s main
main
2m 54s
fix(test): model oracle test fails instead of skipping as a pass (P0-4) Lean Verification Build #82: Pull request #214 synchronize by hyperpolymath
2m 15s fix/oracle-no-skip-as-pass
fix/oracle-no-skip-as-pass
2m 15s
chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3) (#213) Lean Verification Build #81: Commit 53ae47f pushed by hyperpolymath
3m 25s main
main
3m 25s
fix(test): model oracle test fails instead of skipping as a pass (P0-4) Lean Verification Build #80: Pull request #214 opened by hyperpolymath
2m 45s fix/oracle-no-skip-as-pass
fix/oracle-no-skip-as-pass
2m 45s
chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3) Lean Verification Build #79: Pull request #213 opened by hyperpolymath
2m 19s chore/lean-4-34-1
chore/lean-4-34-1
2m 19s
chore(deps): bump the actions group with 7 updates (#205) Lean Verification Build #78: Commit 6107346 pushed by hyperpolymath
6h 9m 14s main
main
6h 9m 14s
fix: close foundational shell and proof-integrity gaps (#193) Lean Verification Build #77: Commit b75712e pushed by hyperpolymath
11m 46s main
main
11m 46s
fix: close foundational shell and proof-integrity gaps Lean Verification Build #76: Pull request #193 opened by hyperpolymath
8m 30s codex/closure-sprint-20260824
codex/closure-sprint-20260824
8m 30s
refactor: migrate Markdown to AsciiDoc Lean Verification Build #75: Pull request #188 opened by hyperpolymath
1h 2m 43s refactor/md-to-adoc
refactor/md-to-adoc
1h 2m 43s
chore: fill or remove RSR template placeholders (#174) Lean Verification Build #74: Commit 3ad51e1 pushed by hyperpolymath
3m 58s main
main
3m 58s
chore(deps): bump the actions group with 6 updates (#172) Lean Verification Build #73: Commit 2314116 pushed by hyperpolymath
3m 6s main
main
3m 6s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle,… Lean Verification Build #72: Commit 6bae89b pushed by hyperpolymath
3m 2s main
main
3m 2s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime Lean Verification Build #71: Pull request #165 synchronize by hyperpolymath
1m 49s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1m 49s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime Lean Verification Build #70: Pull request #165 opened by hyperpolymath
2m 59s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
2m 59s
chore(deps): bump the actions group with 7 updates (#163) Lean Verification Build #69: Commit dbab186 pushed by hyperpolymath
2m 48s main
main
2m 48s
chore(deps): bump the actions group with 7 updates (#158) Lean Verification Build #68: Commit 5c6edd3 pushed by hyperpolymath
1m 50s main
main
1m 50s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fix (2) Lean Verification Build #67: Pull request #156 synchronize by hyperpolymath
2m 3s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
2m 3s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fix (2) Lean Verification Build #66: Pull request #156 synchronize by hyperpolymath
1m 44s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1m 44s
chore: estate standardization remainder — contractiles restructure, nix removal, Guix manifests, TruffleHog Lean Verification Build #65: Pull request #151 synchronize by hyperpolymath
1m 37s proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
1m 37s
fix(lean4): remove dead contradiction — greens the Lean 4 CI (#155) Lean Verification Build #64: Commit 566d73e pushed by hyperpolymath
3m 15s main
main
3m 15s
fix(lean4): remove dead contradiction — greens the Lean 4 CI Lean Verification Build #63: Pull request #155 opened by hyperpolymath
2m 39s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
2m 39s
chore: audit-remediation batch — panic/unsafe, CI test-gating + coverage, doc drift Lean Verification Build #62: Pull request #154 opened by hyperpolymath
41s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
41s
ci: harden workflows — timeout caps, pinned+verified elan, drop empty… Lean Verification Build #61: Commit 9b11d08 pushed by hyperpolymath
50s main
main
50s