Skip to content

Actions: hyperpolymath/valence-shell

Actions

Push email notification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push-email-notify.yml
This workflow was disabled manually.
48 workflow runs
48 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(deps): bump the actions group with 3 updates (#166) Push email notification #48: Commit f1e7b94 pushed by hyperpolymath
10s main
main
10s
chore(deps): bump the actions group with 3 updates Push email notification #47: Commit 4bda56a pushed by dependabot Bot
1s dependabot/github_actions/actions-3d2ef569ae
dependabot/github_actions/actions-3d2ef569ae
1s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle,… Push email notification #46: Commit 6bae89b pushed by hyperpolymath
1s main
main
1s
style(rust-cli): fix clippy 1.97 + rustfmt for CI green Push email notification #45: Commit a963064 pushed by hyperpolymath
8s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
8s
feat(rmo): wire obliterate into dispatch + audit residue (secure dele… Push email notification #44: Commit 4883a42 pushed by hyperpolymath
1s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1s
Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r… Push email notification #43: Commit 15c082f pushed by hyperpolymath
8s main
main
8s
feat(launcher): add 'just run'/'just launch' + rewrite QUICKSTART-USER Push email notification #42: Commit 6af3f74 pushed by hyperpolymath
1s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1s
proofs(coq): re-verify 0 admits/0 real gaps; fix build+verify from clean Push email notification #41: Commit 6924532 pushed by hyperpolymath
2s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
2s
chore(deps): bump the actions group with 7 updates (#163) Push email notification #40: Commit dbab186 pushed by hyperpolymath
1s main
main
1s
chore(deps): bump the actions group with 7 updates Push email notification #39: Commit 85d8eb5 pushed by dependabot Bot
1s dependabot/github_actions/actions-d656973376
dependabot/github_actions/actions-d656973376
1s
fix(ci): switch to permissionless reusable workflow Push email notification #38: Commit 4512577 pushed by hyperpolymath
11s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
11s
ci: Lean via elan in ECHIDNA + drop duplicate trufflehog --fail (#161) Push email notification #37: Commit 32f2049 pushed by hyperpolymath
1s main
main
1s
ci: install Lean via elan in ECHIDNA + drop duplicate trufflehog --fail Push email notification #36: Commit 8001e89 pushed by hyperpolymath
1s ci/echidna-lean-via-elan
ci/echidna-lean-via-elan
1s
docs: production charter — roadmap to v1.0.0 rewritten (owner ratific… Push email notification #35: Commit 33449db pushed by hyperpolymath
1s main
main
1s
Merge branch 'main' into docs/production-charter-2026-07 Push email notification #34: Commit 5f09a53 pushed by hyperpolymath
10s docs/production-charter-2026-07
docs/production-charter-2026-07
10s
docs: rewrite ROADMAP_TO_V1 as production charter (2026-07-07) Push email notification #33: Commit b05fc6a pushed by hyperpolymath
1s docs/production-charter-2026-07
docs/production-charter-2026-07
1s
ci: fix ECHIDNA scheduled red + Secret Scanner startup_failure (#159) Push email notification #32: Commit 79c280f pushed by hyperpolymath
10s main
main
10s
ci: fix ECHIDNA scheduled red + Secret Scanner startup_failure Push email notification #31: Commit 72126a6 pushed by hyperpolymath
8s ci/fix-echidna-isabelle-secret-scanner-perms
ci/fix-echidna-isabelle-secret-scanner-perms
8s
chore(deps): bump the actions group with 7 updates (#158) Push email notification #30: Commit 5c6edd3 pushed by hyperpolymath
1s main
main
1s
chore(deps): bump the actions group with 7 updates Push email notification #29: Commit 1147479 pushed by dependabot Bot
10s dependabot/github_actions/actions-bd237529d0
dependabot/github_actions/actions-bd237529d0
10s
docs(wiki): audience-segmented wiki + lay-person & press kits (#157) Push email notification #28: Commit c07de63 pushed by hyperpolymath
1s main
main
1s
docs(wiki): audience-segmented wiki + lay-person & press kits Push email notification #27: Commit f3c423b pushed by hyperpolymath
8s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
8s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fi… Push email notification #26: Commit 2c028a4 pushed by hyperpolymath
8s main
main
8s
fix(fuzz): restrict ClusterFuzzLite to the address sanitizer Push email notification #25: Commit 9dce262 pushed by hyperpolymath
10s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
10s
ci(fuzz): fix stale fuzz target (pop_redo returns Option, not Result) Push email notification #24: Commit ec55ef9 pushed by hyperpolymath
1s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1s