Skip to content

Actions: hyperpolymath/valence-shell

Actions

ECHIDNA Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
echidna-validation.yml
292 workflow runs
292 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
chore: estate standardization remainder — contractiles restructure, n… ECHIDNA Validation #267: Commit dd4da3e pushed by hyperpolymath
39s main
main
39s
chore: estate standardization remainder — contractiles restructure, nix removal, Guix manifests, TruffleHog ECHIDNA Validation #266: Pull request #151 synchronize by hyperpolymath
38s proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
38s
fix(ci): repair branch payload — remove invalid root-level timeout-mi… ECHIDNA Validation #265: Commit 06c4544 pushed by hyperpolymath
46s proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
46s
fix(lean4): remove dead contradiction — greens the Lean 4 CI (#155) ECHIDNA Validation #264: Commit 566d73e pushed by hyperpolymath
44s main
main
44s
fix(lean4): remove dead contradiction — greens the Lean 4 CI ECHIDNA Validation #263: Pull request #155 opened by hyperpolymath
35s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
35s
fix(lean4): remove dead contradiction in nonempty_path_ne_parent ECHIDNA Validation #262: Commit 678f178 pushed by hyperpolymath
42s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
42s
chore: audit-remediation batch — panic/unsafe, CI test-gating + cover… ECHIDNA Validation #261: Commit 84004cb pushed by hyperpolymath
39s main
main
39s
chore: audit-remediation batch — panic/unsafe, CI test-gating + coverage, doc drift ECHIDNA Validation #260: Pull request #154 opened by hyperpolymath
36s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
36s
chore: audit-remediation batch — panic/unsafe, CI gating+coverage, dr… ECHIDNA Validation #259: Commit 79c1e1e pushed by hyperpolymath
37s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
37s
proofs(idris2): close all proof holes at the root — 0 holes, 0 new ax… ECHIDNA Validation #258: Commit 2ea4ba5 pushed by hyperpolymath
1m 5s main
main
1m 5s
proofs(idris2): close all proof holes at the root — 0 holes, 0 new axioms (#151) ECHIDNA Validation #257: Pull request #152 opened by hyperpolymath
1m 7s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1m 7s
proofs(idris2): close all proof holes at the root (0 holes, 0 new axi… ECHIDNA Validation #256: Commit 76901dd pushed by hyperpolymath
1m 10s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1m 10s
ECHIDNA Validation ECHIDNA Validation #255: Scheduled
3m 21s main
main
3m 21s
Merge branch 'main' into chore/push-email-notify ECHIDNA Validation #254: Commit efccd82 pushed by hyperpolymath
19h 11m 49s chore/push-email-notify
chore/push-email-notify
19h 11m 49s
Merge branch 'main' into chore/clade-status-backfill ECHIDNA Validation #253: Commit be2eb27 pushed by hyperpolymath
18h 46m 1s chore/clade-status-backfill
chore/clade-status-backfill
18h 46m 1s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … ECHIDNA Validation #252: Commit be08eff pushed by hyperpolymath
18h 31m 51s main
main
18h 31m 51s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) ECHIDNA Validation #251: Pull request #148 opened by hyperpolymath
18h 28m 32s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
18h 28m 32s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) ECHIDNA Validation #250: Commit f872ff8 pushed by hyperpolymath
18h 27m 38s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
18h 27m 38s
ECHIDNA Validation ECHIDNA Validation #249: Scheduled
3m 19s main
main
3m 19s
chore(deps): bump the actions group with 2 updates ECHIDNA Validation #248: Commit 34253ed pushed by hyperpolymath
45s main
main
45s
chore(deps): bump the actions group with 2 updates ECHIDNA Validation #247: Commit 39f0fd3 pushed by dependabot Bot
30s dependabot/github_actions/actions-2a9049a57f
dependabot/github_actions/actions-2a9049a57f
30s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… ECHIDNA Validation #246: Commit 5562b23 pushed by hyperpolymath
11m 53s proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
11m 53s
ECHIDNA Validation ECHIDNA Validation #245: Scheduled
3m 9s main
main
3m 9s
ECHIDNA Validation ECHIDNA Validation #244: Scheduled
3m 32s main
main
3m 32s
Apply estate standardization: governance docs, contractiles, CI/CD cl… ECHIDNA Validation #243: Commit af7be37 pushed by hyperpolymath
39s proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
39s