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
ci(fuzz): use pre-installed cargo-fuzz to fix OSS-Fuzz build (thiserr… Push email notification #23: Commit fa00b1c pushed by hyperpolymath
1s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1s
docs(abi/ffi): add C header + boundary decision record; correct FFI m… Push email notification #22: Commit 0afe7ca pushed by hyperpolymath
8s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
8s
chore: estate standardization remainder — contractiles restructure, n… Push email notification #21: Commit dd4da3e pushed by hyperpolymath
1s main
main
1s
fix(ci): repair branch payload — remove invalid root-level timeout-mi… Push email notification #20: Commit 06c4544 pushed by hyperpolymath
13s proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
13s
fix(lean4): remove dead contradiction — greens the Lean 4 CI (#155) Push email notification #19: Commit 566d73e pushed by hyperpolymath
11s main
main
11s
fix(lean4): remove dead contradiction in nonempty_path_ne_parent Push email notification #18: Commit 678f178 pushed by hyperpolymath
8s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
8s
chore: audit-remediation batch — panic/unsafe, CI test-gating + cover… Push email notification #17: Commit 84004cb pushed by hyperpolymath
10s main
main
10s
chore: audit-remediation batch — panic/unsafe, CI gating+coverage, dr… Push email notification #16: Commit 79c1e1e pushed by hyperpolymath
2s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
2s
ci: harden workflows — timeout caps, pinned+verified elan, drop empty… Push email notification #15: Commit 9b11d08 pushed by hyperpolymath
1s main
main
1s
ci: add CodeQL actions language + presence-gate instant-sync dispatch Push email notification #14: Commit e783c93 pushed by hyperpolymath
1s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1s
ci: harden workflows — timeout caps, pinned+verified elan, drop empty… Push email notification #13: Commit ba2cdbb pushed by hyperpolymath
1s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1s
proofs(idris2): close all proof holes at the root — 0 holes, 0 new ax… Push email notification #12: Commit 2ea4ba5 pushed by hyperpolymath
8s main
main
8s
proofs(idris2): close all proof holes at the root (0 holes, 0 new axi… Push email notification #11: Commit 76901dd pushed by hyperpolymath
1s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1s
chore(deps): bump the actions group with 2 updates (#150) Push email notification #10: Commit 3eee5af pushed by hyperpolymath
1s main
main
1s
chore(deps): bump the actions group with 2 updates Push email notification #9: Commit 5d44431 pushed by dependabot Bot
1s dependabot/github_actions/actions-0454df022e
dependabot/github_actions/actions-0454df022e
1s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#149) Push email notification #8: Commit ed4d498 pushed by hyperpolymath
Skipped main
main
Skipped
ci: remove retired scorecard-enforcer.yml (hypatia#464) Push email notification #7: Commit 07e5054 pushed by hyperpolymath
1s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1s
ci: re-pin scorecard reusable to standards HEAD d7c2271 (hypatia#464) Push email notification #6: Commit 6ac97ac pushed by hyperpolymath
1s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1s
ci: re-pin governance reusable to standards HEAD d7c2271 (hypatia#464) Push email notification #5: Commit 54dd047 pushed by hyperpolymath
Skipped ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
Skipped
chore(ci): add dormant push-email notification workflow (#147) Push email notification #4: Commit b6b07c6 pushed by hyperpolymath
1s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1s
chore(ci): add dormant push-email notification workflow (#147) Push email notification #3: Commit b6b07c6 pushed by hyperpolymath
6s main
main
6s
Merge branch 'main' into chore/push-email-notify Push email notification #2: Commit efccd82 pushed by hyperpolymath
1s chore/push-email-notify
chore/push-email-notify
1s
chore(ci): add dormant push-email notification workflow Push email notification #1: Commit c3d695c pushed by hyperpolymath
7s chore/push-email-notify
chore/push-email-notify
7s