Skip to content

Actions: hyperpolymath/valence-shell

Actions

Correspondence Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
validation.yml
417 workflow runs
417 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
refactor(agda): use stdlib Extensionality type for funext postulate Correspondence Validation #92: Commit c3b932f pushed by hyperpolymath
1m 7s main
main
1m 7s
proof(coq): replace 5 decidability axioms with constructive proofs Correspondence Validation #91: Commit 794c568 pushed by hyperpolymath
51s main
main
51s
proof(coq): replace Axiom functional_extensionality with stdlib import Correspondence Validation #90: Commit e3d1315 pushed by hyperpolymath
2m 14s main
main
2m 14s
chore(6a2): commit 6a2 sweep — a2ml drift Correspondence Validation #89: Commit b22071b pushed by hyperpolymath
7m 7s main
main
7m 7s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Correspondence Validation #88: Commit 81bc7c2 pushed by hyperpolymath
1h 32m 40s main
main
1h 32m 40s
feat(crg): add crg-grade and crg-badge justfile recipes Correspondence Validation #87: Commit 01104b5 pushed by hyperpolymath
6h 28m 58s main
main
6h 28m 58s
chore: add eclexiaiser-validate job to dogfood gate Correspondence Validation #86: Commit ab68b9d pushed by hyperpolymath
4h 53m 48s main
main
4h 53m 48s
docs: add M2 estate audit report (2026-04-04) Correspondence Validation #85: Commit 07d9980 pushed by hyperpolymath
4h 1m 33s main
main
4h 1m 33s
chore: add eclexiaiser.toml energy-cost manifest Correspondence Validation #84: Commit 51c0955 pushed by hyperpolymath
3h 36m 51s main
main
3h 36m 51s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks Correspondence Validation #83: Commit 4fef719 pushed by hyperpolymath
1h 32m 1s main
main
1h 32m 1s
docs: substantive CRG C annotation (EXPLAINME.adoc) Correspondence Validation #82: Commit d91e587 pushed by hyperpolymath
46m 45s main
main
46m 45s
docs: add CRG Grade C header to TEST-NEEDS.md Correspondence Validation #81: Commit c7cf2bc pushed by hyperpolymath
1m 9s main
main
1m 9s
chore: Update STATE.a2ml for CRG-C completion (2026-04-04) Correspondence Validation #80: Commit f639ac5 pushed by hyperpolymath
2m 18s main
main
2m 18s
test: Blitz valence-shell to CRG C (benchmarks + E2E + Zig/Elixir exp… Correspondence Validation #79: Commit 260aa3c pushed by hyperpolymath
57s main
main
57s
fix: remove tracked build artifacts, update gitignore Correspondence Validation #78: Commit 00fe9c8 pushed by hyperpolymath
2m 49s main
main
2m 49s
fix(deps): bump ratatui 0.29 -> 0.30 to resolve lru < 0.16.3 advisory Correspondence Validation #77: Commit 8cf4a64 pushed by hyperpolymath
3m 16s main
main
3m 16s
fix(proofs): close proof holes — eliminate postulates, Obj.magic, and… Correspondence Validation #76: Commit 055533b pushed by hyperpolymath
53s main
main
53s
fix(deps): update Cargo.lock to resolve security advisories Correspondence Validation #75: Commit 91ca9a3 pushed by hyperpolymath
7m 4s main
main
7m 4s
docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit Correspondence Validation #74: Commit 4b31006 pushed by hyperpolymath
16m 31s main
main
16m 31s
chore(deps): bump the actions group with 2 updates (#11) Correspondence Validation #73: Commit d6aabc5 pushed by hyperpolymath
3m 3s main
main
3m 3s
chore: replace template placeholders in ROADMAP.adoc files Correspondence Validation #72: Commit 5b7384a pushed by hyperpolymath
22m 28s main
main
22m 28s
chore(deps): bump the actions group with 2 updates Correspondence Validation #71: Pull request #11 opened by dependabot Bot
53s dependabot/github_actions/actions-398e6f7f4f
dependabot/github_actions/actions-398e6f7f4f
53s
chore: update dependencies for security Correspondence Validation #70: Commit bc4797b pushed by hyperpolymath
29m 15s main
main
29m 15s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… Correspondence Validation #69: Commit cd2678b pushed by hyperpolymath
51m 20s main
main
51m 20s
feat: add stapeln.toml layer-based container definition\n\nConverted … Correspondence Validation #68: Commit 6341596 pushed by hyperpolymath
2h 4m 49s main
main
2h 4m 49s
ProTip! You can narrow down the results and go further in time using created:<2026-03-28 or the other filters available.