Skip to content

Actions: hyperpolymath/valence-shell

Actions

ClusterFuzzLite PR Fuzzing

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cflite_pr.yml
30 workflow runs
30 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: close foundational shell and proof-integrity gaps ClusterFuzzLite PR Fuzzing #30: Pull request #193 opened by hyperpolymath
16m 26s codex/closure-sprint-20260824
codex/closure-sprint-20260824
16m 26s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime ClusterFuzzLite PR Fuzzing #29: Pull request #165 synchronize by hyperpolymath
8m 19s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
8m 19s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime ClusterFuzzLite PR Fuzzing #28: Pull request #165 opened by hyperpolymath
8m 9s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
8m 9s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fix (2) ClusterFuzzLite PR Fuzzing #27: Pull request #156 synchronize by hyperpolymath
7m 36s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
7m 36s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fix (2) ClusterFuzzLite PR Fuzzing #26: Pull request #156 synchronize by hyperpolymath
7m 18s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
7m 18s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fix (2) ClusterFuzzLite PR Fuzzing #25: Pull request #156 opened by hyperpolymath
3m 6s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
3m 6s
chore: audit-remediation batch — panic/unsafe, CI test-gating + coverage, doc drift ClusterFuzzLite PR Fuzzing #24: Pull request #154 opened by hyperpolymath
3m 32s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
3m 32s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) ClusterFuzzLite PR Fuzzing #23: Pull request #148 opened by hyperpolymath
18h 32m 18s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
18h 32m 18s
docs: sort and reorganize .gitignore, .gitattributes, .editorconfig ClusterFuzzLite PR Fuzzing #22: Commit a1338bd pushed by hyperpolymath
Failure proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
Failure
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… ClusterFuzzLite PR Fuzzing #21: Commit 5562b23 pushed by hyperpolymath
Failure proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
Failure
Apply estate standardization: governance docs, contractiles, CI/CD cl… ClusterFuzzLite PR Fuzzing #20: Commit af7be37 pushed by hyperpolymath
Failure proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
Failure
codex/pr132-foundational-ci ClusterFuzzLite PR Fuzzing #19: Pull request #139 opened by hyperpolymath
4m 33s codex/pr132-foundational-ci
codex/pr132-foundational-ci
4m 33s
proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12) ClusterFuzzLite PR Fuzzing #18: Pull request #132 synchronize by hyperpolymath
4m 32s proofs/a12-path-traversal-containment
proofs/a12-path-traversal-containment
4m 32s
proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12) ClusterFuzzLite PR Fuzzing #17: Pull request #132 synchronize by hyperpolymath
3m 27s proofs/a12-path-traversal-containment
proofs/a12-path-traversal-containment
3m 27s
proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12) ClusterFuzzLite PR Fuzzing #16: Pull request #132 synchronize by hyperpolymath
1m 40s proofs/a12-path-traversal-containment
proofs/a12-path-traversal-containment
1m 40s
proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12) ClusterFuzzLite PR Fuzzing #15: Pull request #132 synchronize by hyperpolymath
1m 53s proofs/a12-path-traversal-containment
proofs/a12-path-traversal-containment
1m 53s
feat(fs): O_NOATIME discipline for pure-read theorems (#94 Gap 9) ClusterFuzzLite PR Fuzzing #14: Pull request #120 opened by hyperpolymath
3m 40s claude/issue-94-noatime-discipline
claude/issue-94-noatime-discipline
3m 40s
chore(spdx): add Copyright (c) headers to AsciiDoc files (batch 3/7) ClusterFuzzLite PR Fuzzing #13: Pull request #97 opened by hyperpolymath
2h 23m 40s spdx/copyright-adoc-2026-06-01
spdx/copyright-adoc-2026-06-01
2h 23m 40s
chore(spdx): add Copyright (c) headers to Rust files (batch 2/7) ClusterFuzzLite PR Fuzzing #12: Pull request #96 opened by hyperpolymath
2h 9m 29s spdx/copyright-rust-2026-06-01
spdx/copyright-rust-2026-06-01
2h 9m 29s
fix(clippy): clear 86 errors under -D warnings across impl/rust-cli/ ClusterFuzzLite PR Fuzzing #11: Pull request #74 synchronize by hyperpolymath
24m 52s clippy/sweep-rust-cli-2026-06-01
clippy/sweep-rust-cli-2026-06-01
24m 52s
fix(clippy): clear 86 errors under -D warnings across impl/rust-cli/ ClusterFuzzLite PR Fuzzing #10: Pull request #74 opened by hyperpolymath
12m 48s clippy/sweep-rust-cli-2026-06-01
clippy/sweep-rust-cli-2026-06-01
12m 48s
chore(rust-cli): apply cargo fmt across the workspace (44 files) ClusterFuzzLite PR Fuzzing #9: Pull request #73 opened by hyperpolymath
4m 9s chore/rust-bench-fmt
chore/rust-bench-fmt
4m 9s
feat(rust-cli): secure_delete + audit_log real impls + typed-error refactor + 15-25 prop-tests ClusterFuzzLite PR Fuzzing #8: Pull request #72 opened by hyperpolymath
2m 43s feat/secure-delete-audit-log-impls
feat/secure-delete-audit-log-impls
2m 43s
ci(governance): clear 6 main-branch reds (issue #46) ClusterFuzzLite PR Fuzzing #7: Pull request #54 synchronize by hyperpolymath
1m 30s ci/governance-reds-2026-06-01-issue-46
ci/governance-reds-2026-06-01-issue-46
1m 30s
ci(governance): clear 6 main-branch reds (issue #46) ClusterFuzzLite PR Fuzzing #6: Pull request #54 opened by hyperpolymath
1m 48s ci/governance-reds-2026-06-01-issue-46
ci/governance-reds-2026-06-01-issue-46
1m 48s