Skip to content

Actions: hyperpolymath/oblibeniser

Actions

Push email notification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push-email-notify.yml
This workflow was disabled manually.
43 workflow runs
43 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: Secret Scanner caller must grant the reusable's job permissions (… Push email notification #43: Commit 1e7b0a1 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: grant Secret Scanner caller the reusable's job permissions Push email notification #42: Commit 231c88d pushed by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#37) Push email notification #41: Commit 5b767aa pushed by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#37) Push email notification #40: Commit 5b767aa pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minutes) Push email notification #39: Commit ca90494 pushed by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#36) Push email notification #38: Commit 10a7bd7 pushed by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#36) Push email notification #37: Commit 10a7bd7 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity to deterministic v5 (rsr-template residue) Push email notification #36: Commit 8bf7983 pushed by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin (#35) Push email notification #35: Commit 756a0b2 pushed by hyperpolymath
Startup failure main
main
Startup failure
Merge branch 'main' into claude/new-session-znxgm7 Push email notification #34: Commit fb7d7a6 pushed by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ci: make CI green — bump rust-ci to standards@8dc2bf0 (toolchain: sta… Push email notification #33: Commit fe04cc2 pushed by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#34) Push email notification #32: Commit 069f62c pushed by hyperpolymath
Startup failure main
main
Startup failure
Merge branch 'main' into claude/new-session-znxgm7 Push email notification #31: Commit d020e8e pushed by hyperpolymath
-1s claude/new-session-znxgm7
claude/new-session-znxgm7
-1s
Add Layer-5 capstone ABI soundness certificate Push email notification #30: Commit 068b78a pushed by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Push email notification #29: Commit 7c5e848 pushed by hyperpolymath
Startup failure main
main
Startup failure
Merge branch 'main' into claude/new-session-znxgm7 Push email notification #28: Commit 24aaecb pushed by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
abi: seal ABI<->FFI seam with Layer 4 soundness proof (FfiSeam) Push email notification #27: Commit 683f69d pushed by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: reversible operations form a group (modulo denotational … Push email notification #26: Commit a9d2af7 pushed by hyperpolymath
1s main
main
1s
Merge branch 'main' into claude/new-session-znxgm7 Push email notification #25: Commit 9b38ac8 pushed by hyperpolymath
1s claude/new-session-znxgm7
claude/new-session-znxgm7
1s
feat(abi): prove reversible ops form a group (Layer 3 invariants) Push email notification #24: Commit 5e57cc8 pushed by hyperpolymath
1s claude/new-session-znxgm7
claude/new-session-znxgm7
1s
ABI Layer 2: prove operation reversibility (round-trip law) — flagshi… Push email notification #23: Commit e921fd6 pushed by hyperpolymath
2s main
main
2s
feat(abi): prove reversibility round-trip law (Layer 2 semantics) Push email notification #22: Commit ba629ba pushed by hyperpolymath
Skipped claude/new-session-znxgm7
claude/new-session-znxgm7
Skipped
ci: refresh standards reusable pins to current HEAD (d7c2271) (#30) Push email notification #21: Commit 2d43666 pushed by hyperpolymath
1s main
main
1s
ci: re-pin scorecard reusable to standards HEAD d7c2271 (hypatia#464) Push email notification #20: Commit 38d8e30 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 #19: Commit 0f8aaad pushed by hyperpolymath
1s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1s