Skip to content

Actions: hyperpolymath/valence-shell

Actions

Rust CLI Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-cli.yml
166 workflow runs
166 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
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle,… Rust CLI Tests #166: Commit 6bae89b pushed by hyperpolymath
2m 25s main
main
2m 25s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime Rust CLI Tests #165: Pull request #165 synchronize by hyperpolymath
3m 0s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
3m 0s
style(rust-cli): fix clippy 1.97 + rustfmt for CI green Rust CLI Tests #164: Commit a963064 pushed by hyperpolymath
2m 48s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
2m 48s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime Rust CLI Tests #163: Pull request #165 opened by hyperpolymath
2m 37s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
2m 37s
feat(rmo): wire obliterate into dispatch + audit residue (secure dele… Rust CLI Tests #162: Commit 4883a42 pushed by hyperpolymath
2m 21s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
2m 21s
chore(deps): bump the actions group with 7 updates (#163) Rust CLI Tests #161: Commit dbab186 pushed by hyperpolymath
2m 18s main
main
2m 18s
chore(deps): bump the actions group with 7 updates Rust CLI Tests #160: Commit 85d8eb5 pushed by dependabot Bot
2m 13s dependabot/github_actions/actions-d656973376
dependabot/github_actions/actions-d656973376
2m 13s
chore(deps): bump the actions group with 7 updates (#158) Rust CLI Tests #159: Commit 5c6edd3 pushed by hyperpolymath
1m 38s main
main
1m 38s
chore(deps): bump the actions group with 7 updates Rust CLI Tests #158: Commit 1147479 pushed by dependabot Bot
1m 40s dependabot/github_actions/actions-bd237529d0
dependabot/github_actions/actions-bd237529d0
1m 40s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fi… Rust CLI Tests #157: Commit 2c028a4 pushed by hyperpolymath
1m 30s main
main
1m 30s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fix (2) Rust CLI Tests #156: Pull request #156 synchronize by hyperpolymath
1m 53s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1m 53s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fix (2) Rust CLI Tests #155: Pull request #156 synchronize by hyperpolymath
1m 31s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1m 31s
ci(fuzz): fix stale fuzz target (pop_redo returns Option, not Result) Rust CLI Tests #154: Commit ec55ef9 pushed by hyperpolymath
1m 30s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1m 30s
fix(ci): repair branch payload — remove invalid root-level timeout-mi… Rust CLI Tests #153: Commit 06c4544 pushed by hyperpolymath
1m 36s proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
1m 36s
fix(lean4): remove dead contradiction — greens the Lean 4 CI (#155) Rust CLI Tests #152: Commit 566d73e pushed by hyperpolymath
1m 39s main
main
1m 39s
fix(lean4): remove dead contradiction — greens the Lean 4 CI Rust CLI Tests #151: Pull request #155 opened by hyperpolymath
1m 41s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1m 41s
fix(lean4): remove dead contradiction in nonempty_path_ne_parent Rust CLI Tests #150: Commit 678f178 pushed by hyperpolymath
1m 41s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1m 41s
chore: audit-remediation batch — panic/unsafe, CI test-gating + cover… Rust CLI Tests #149: Commit 84004cb pushed by hyperpolymath
2m 32s main
main
2m 32s
chore: audit-remediation batch — panic/unsafe, CI test-gating + coverage, doc drift Rust CLI Tests #148: Pull request #154 opened by hyperpolymath
2m 22s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
2m 22s
chore: audit-remediation batch — panic/unsafe, CI gating+coverage, dr… Rust CLI Tests #147: Commit 79c1e1e pushed by hyperpolymath
2m 20s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
2m 20s
ci: harden workflows — timeout caps, pinned+verified elan, drop empty… Rust CLI Tests #146: Commit 9b11d08 pushed by hyperpolymath
2m 33s main
main
2m 33s
ci: harden workflows — timeout caps, pinned+verified elan, drop empty… Rust CLI Tests #145: Commit ba2cdbb pushed by hyperpolymath
2m 24s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
2m 24s
Merge branch 'main' into chore/push-email-notify Rust CLI Tests #144: Commit efccd82 pushed by hyperpolymath
19h 17m 3s chore/push-email-notify
chore/push-email-notify
19h 17m 3s
Merge branch 'main' into chore/clade-status-backfill Rust CLI Tests #143: Commit be2eb27 pushed by hyperpolymath
18h 48m 42s chore/clade-status-backfill
chore/clade-status-backfill
18h 48m 42s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Rust CLI Tests #142: Commit be08eff pushed by hyperpolymath
18h 34m 44s main
main
18h 34m 44s