Skip to content

Actions: hyperpolymath/a2mliser

Actions

Push email notification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push-email-notify.yml
45 workflow runs
45 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): grant secret-scanner reusable its requested job permissions … Push email notification #45: Commit e185099 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): grant secret-scanner reusable its requested job permissions Push email notification #44: Commit 0d2912a pushed by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#43) Push email notification #43: Commit 9e7ae73 pushed by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#43) Push email notification #42: Commit 9e7ae73 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minutes) Push email notification #41: Commit ecaf38d pushed by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#42) Push email notification #40: Commit d266710 pushed by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#42) Push email notification #39: Commit d266710 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity to deterministic v5 (rsr-template residue) Push email notification #38: Commit b9a493a pushed by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Push email notification #37: Commit c2bdb0b pushed by hyperpolymath
Startup failure main
main
Startup failure
Merge branch 'main' into claude/new-session-znxgm7 Push email notification #36: Commit 31d98ee pushed by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ci: adopt canonical Julia ABI-FFI gate (estate standard, matches veri… Push email notification #35: Commit 7fcb6ef 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 #34: Commit 890973f pushed by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#40) Push email notification #33: Commit 6ebff5a pushed by hyperpolymath
Startup failure main
main
Startup failure
Merge branch 'main' into claude/new-session-znxgm7 Push email notification #32: Commit 0335a3d pushed by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
feat(abi): Layer-5 capstone ABI soundness certificate Push email notification #31: Commit a02f5a0 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 #30: Commit 2127e18 pushed by hyperpolymath
Startup failure main
main
Startup failure
Merge branch 'main' into claude/new-session-znxgm7 Push email notification #29: Commit 04da6dd pushed by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Add Layer-4 ABI<->FFI seam soundness proof (A2mliser.ABI.FfiSeam) Push email notification #28: Commit 7c7452a pushed by hyperpolymath
9s claude/new-session-znxgm7
claude/new-session-znxgm7
9s
ABI Layer 3: attestation determinism, idempotence + issue→verify roun… Push email notification #27: Commit 8b97dda pushed by hyperpolymath
1s main
main
1s
Merge branch 'main' into claude/new-session-znxgm7 Push email notification #26: Commit 9e82bf5 pushed by hyperpolymath
10s claude/new-session-znxgm7
claude/new-session-znxgm7
10s
abi: add Layer-3 Invariants — attestation determinism/idempotence/rou… Push email notification #25: Commit 442ee6a pushed by hyperpolymath
1s claude/new-session-znxgm7
claude/new-session-znxgm7
1s
ABI Layer 2: prove attestation binding soundness (tamper-evidence) — … Push email notification #24: Commit 8af3b8c pushed by hyperpolymath
Skipped main
main
Skipped
feat(abi): prove attestation binding soundness (Layer 2 Semantics) Push email notification #23: Commit 1369d03 pushed by hyperpolymath
7s claude/new-session-znxgm7
claude/new-session-znxgm7
7s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#36) Push email notification #22: Commit ccdc0d4 pushed by hyperpolymath
9s main
main
9s
ci: re-pin scorecard reusable to standards HEAD d7c2271 (hypatia#464) Push email notification #21: Commit f2f1e8f pushed by hyperpolymath
1s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1s