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
Standardize workspace: Justfile migration and A2ML directive cleanup Correspondence Validation #117: Commit a88a892 pushed by hyperpolymath
2m 39s main
main
2m 39s
docs(governance): CRG v2.0 STRICT audit — C (declared) -> D (honest) Correspondence Validation #116: Commit 8f2f785 pushed by hyperpolymath
53s main
main
53s
ci: wire hypatia-scan.yml to query own Dependabot alerts Correspondence Validation #115: Commit 2fe61b6 pushed by hyperpolymath
1h 45m 46s main
main
1h 45m 46s
chore: estate-wide chore + stale-path sweep (2026-04-17) Correspondence Validation #114: Commit 71d9139 pushed by hyperpolymath
1h 45m 26s main
main
1h 45m 26s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Correspondence Validation #113: Commit e46b4ff pushed by hyperpolymath
1h 21m 42s main
main
1h 21m 42s
feat(rust-cli): fix function control-flow and return propagation (#14) Correspondence Validation #112: Commit 3459437 pushed by hyperpolymath
2m 37s main
main
2m 37s
Fix control structures and return statements in function bodies Correspondence Validation #111: Pull request #14 opened by hyperpolymath
1m 0s claude/advance-project-Y32IT
claude/advance-project-Y32IT
1m 0s
chore: M5 CI/Workflow Sweep - final synchronisation Correspondence Validation #110: Commit ab76e66 pushed by hyperpolymath
57m 16s main
main
57m 16s
Merge branch 'main' of github.com:hyperpolymath/valence-shell Correspondence Validation #109: Commit e6ed57f pushed by hyperpolymath
11m 39s main
main
11m 39s
chore(deps): bump the cargo group across 2 directories with 1 update … Correspondence Validation #108: Commit 072da2a pushed by hyperpolymath
5m 11s main
main
5m 11s
chore(deps): bump the cargo group across 2 directories with 1 update Correspondence Validation #107: Pull request #13 opened by dependabot Bot
59s dependabot/cargo/ffi/rust/cargo-a27c0f659c
dependabot/cargo/ffi/rust/cargo-a27c0f659c
59s
chore(deps): bump rand from 0.8.5 to 0.9.3 in /ffi/rust in the cargo group across 1 directory Correspondence Validation #106: Pull request #12 opened by dependabot Bot
55s dependabot/cargo/ffi/rust/cargo-3df31d4f53
dependabot/cargo/ffi/rust/cargo-3df31d4f53
55s
proof(coq): improve file_content_operations proof tactics Correspondence Validation #105: Commit c785d33 pushed by hyperpolymath
6m 12s main
main
6m 12s
proof(coq): hook tactic improvements across file_ops, composition, pe… Correspondence Validation #104: Commit fa11282 pushed by hyperpolymath
1m 50s main
main
1m 50s
docs(paper): update proof holes count 3→2; is_empty_dir_dec now proved Correspondence Validation #103: Commit f8ee6ec pushed by hyperpolymath
1m 10s main
main
1m 10s
proof(coq): prove is_empty_dir_dec via Classical.classic — 0 Axioms r… Correspondence Validation #102: Commit 6fd3f75 pushed by hyperpolymath
1m 22s main
main
1m 22s
fix(paper): qualify abstract claims for publication safety Correspondence Validation #101: Commit f5dab96 pushed by hyperpolymath
2m 2s main
main
2m 2s
proof(coq): FunctionalExtensionality to posix_errors + rmo; Omega→Lia Correspondence Validation #100: Commit 5a9ad8e pushed by hyperpolymath
8m 25s main
main
8m 25s
proof(coq): add FunctionalExtensionality import to remaining ops files Correspondence Validation #99: Commit dc686de pushed by hyperpolymath
7m 55s main
main
7m 55s
proof(coq): add FunctionalExtensionality import to copy_move + symlin… Correspondence Validation #98: Commit 69fd5e5 pushed by hyperpolymath
6m 40s main
main
6m 40s
proof(coq): add FunctionalExtensionality import to file_operations.v Correspondence Validation #97: Commit d30a9fc pushed by hyperpolymath
6m 47s main
main
6m 47s
proof(coq): tighten sumbool tactic patterns in file_operations + syml… Correspondence Validation #96: Commit 147b36e pushed by hyperpolymath
6m 0s main
main
6m 0s
docs: update PROOF_HOLES_AUDIT.md — items #1+#2 closed, summary updated Correspondence Validation #95: Commit d9c5109 pushed by hyperpolymath
3m 18s main
main
3m 18s
chore(state): update STATE.a2ml — Coq proof debt items #1+#2 closed Correspondence Validation #94: Commit ecdc105 pushed by hyperpolymath
55s main
main
55s
proof(coq): prove 2 deferred axioms + fix path_prefix bool + add .git… Correspondence Validation #93: Commit 1ef841c pushed by hyperpolymath
58s main
main
58s
ProTip! You can narrow down the results and go further in time using created:<2026-04-12 or the other filters available.