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
fix(ci): estate-wide foundational remediation (#171) Correspondence Validation #417: Commit 1ead6bf pushed by hyperpolymath
35m 43s main
main
35m 43s
fix(ci): estate-wide foundational remediation Correspondence Validation #416: Pull request #171 opened by hyperpolymath
35m 20s fix-ci-estate
fix-ci-estate
35m 20s
Sync local commits to main (#170) Correspondence Validation #415: Commit 2e1a4ce pushed by hyperpolymath
1h 27m 26s main
main
1h 27m 26s
Sync local commits to main Correspondence Validation #414: Pull request #170 opened by hyperpolymath
1h 27m 56s sync-local-updates-1784832856
sync-local-updates-1784832856
1h 27m 56s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Correspondence Validation #413: Commit 3621126 pushed by hyperpolymath
2h 42m 26s main
main
2h 42m 26s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Correspondence Validation #412: Pull request #169 opened by hyperpolymath
1h 51m 57s fix/governance-gate-sweep
fix/governance-gate-sweep
1h 51m 57s
fix(ci): drop the retired inline trufflehog job (#168) Correspondence Validation #411: Commit 7f5c783 pushed by hyperpolymath
4m 51s main
main
4m 51s
fix(ci): drop the retired inline trufflehog job Correspondence Validation #410: Pull request #168 synchronize by hyperpolymath
4m 44s fix/drop-retired-trufflehog-job
fix/drop-retired-trufflehog-job
4m 44s
security: re-pin secret scanner onto the real gitleaks gate (#167) Correspondence Validation #409: Commit b955d2e pushed by hyperpolymath
42m 29s main
main
42m 29s
fix(ci): drop the retired inline trufflehog job Correspondence Validation #408: Pull request #168 opened by hyperpolymath
43m 35s fix/drop-retired-trufflehog-job
fix/drop-retired-trufflehog-job
43m 35s
security: re-pin secret scanner onto the real gitleaks gate Correspondence Validation #407: Pull request #167 opened by hyperpolymath
33m 4s security/real-secret-gate
security/real-secret-gate
33m 4s
chore(deps): bump the actions group with 3 updates (#166) Correspondence Validation #406: Commit f1e7b94 pushed by hyperpolymath
1m 1s main
main
1m 1s
chore(deps): bump the actions group with 3 updates Correspondence Validation #405: Pull request #166 opened by dependabot Bot
57s dependabot/github_actions/actions-3d2ef569ae
dependabot/github_actions/actions-3d2ef569ae
57s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle,… Correspondence Validation #404: Commit 6bae89b pushed by hyperpolymath
1m 0s main
main
1m 0s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime Correspondence Validation #403: Pull request #165 synchronize by hyperpolymath
57s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
57s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime Correspondence Validation #402: Pull request #165 opened by hyperpolymath
56s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
56s
Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r… Correspondence Validation #401: Commit 15c082f pushed by hyperpolymath
1m 0s main
main
1m 0s
Coq: re-verify 0 real gaps + fix build/verify from clean; add just run launcher Correspondence Validation #400: Pull request #164 synchronize by hyperpolymath
58s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
58s
Coq: re-verify 0 real gaps + fix build/verify from clean; add just run launcher Correspondence Validation #399: Pull request #164 opened by hyperpolymath
57s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
57s
chore(deps): bump the actions group with 7 updates (#163) Correspondence Validation #398: Commit dbab186 pushed by hyperpolymath
55s main
main
55s
chore(deps): bump the actions group with 7 updates Correspondence Validation #397: Pull request #163 opened by dependabot Bot
57s dependabot/github_actions/actions-d656973376
dependabot/github_actions/actions-d656973376
57s
ci: Lean via elan in ECHIDNA + drop duplicate trufflehog --fail (#161) Correspondence Validation #396: Commit 32f2049 pushed by hyperpolymath
57s main
main
57s
ci: Lean via elan in ECHIDNA + drop duplicate trufflehog --fail Correspondence Validation #395: Pull request #161 opened by hyperpolymath
1m 1s ci/echidna-lean-via-elan
ci/echidna-lean-via-elan
1m 1s
docs: production charter — roadmap to v1.0.0 rewritten (owner ratific… Correspondence Validation #394: Commit 33449db pushed by hyperpolymath
4m 18s main
main
4m 18s
docs: production charter — roadmap to v1.0.0 rewritten (owner ratification: D1–D5) Correspondence Validation #393: Pull request #160 synchronize by hyperpolymath
2m 25s docs/production-charter-2026-07
docs/production-charter-2026-07
2m 25s