Skip to content

Actions: hyperpolymath/affinescriptiser

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
ABI Layer 2: prove affine usage (use-at-most-once) in Semantics Push email notification #23: Commit c963f18 pushed by hyperpolymath
Skipped claude/new-session-znxgm7
claude/new-session-znxgm7
Skipped
ci: refresh standards reusable pins to current HEAD (d7c2271) (#36) Push email notification #22: Commit cc37b35 pushed by hyperpolymath
Skipped main
main
Skipped
ci: re-pin scorecard reusable to standards HEAD d7c2271 (hypatia#464) Push email notification #21: Commit bb36776 pushed by hyperpolymath
Skipped ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
Skipped
ci: re-pin governance reusable to standards HEAD d7c2271 (hypatia#464) Push email notification #20: Commit e248b5f pushed by hyperpolymath
9s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
9s
ci: re-pin hypatia-scan reusable to standards HEAD d7c2271 (hypatia#464) Push email notification #19: Commit bff6f93 pushed by hyperpolymath
7s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
7s
ci: add ABI↔FFI conformance gate (#35) Push email notification #18: Commit 6532bc9 pushed by hyperpolymath
2s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2s
ci: add ABI↔FFI conformance gate (#35) Push email notification #17: Commit 6532bc9 pushed by hyperpolymath
1s main
main
1s
ci: add ABI↔FFI conformance gate Push email notification #16: Commit 4a40850 pushed by hyperpolymath
1s claude/new-session-1fphit
claude/new-session-1fphit
1s
Auto-install pinned Zig toolchain in setup + devcontainer (#34) Push email notification #15: Commit 703fd16 pushed by hyperpolymath
1s main
main
1s
Auto-install pinned Zig toolchain in setup + devcontainer Push email notification #14: Commit bb1d402 pushed by hyperpolymath
10s claude/new-session-1fphit
claude/new-session-1fphit
10s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Push email notification #13: Commit 412ae57 pushed by hyperpolymath
1s main
main
1s
Merge branch 'main' into claude/iseriser-proofs-review-rtdcwb Push email notification #12: Commit 575a401 pushed by hyperpolymath
6s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
6s
Fix Idris2 ABI proofs to genuinely compile and verify under 0.7.0 Push email notification #11: Commit 66cfd79 pushed by hyperpolymath
1s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) Push email notification #10: Commit cca6b7e pushed by hyperpolymath
1s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32) Push email notification #9: Commit 2a34624 pushed by hyperpolymath
1s main
main
1s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) Push email notification #8: Commit cca6b7e pushed by hyperpolymath
8s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
8s
Add SPDX header to LICENSE and set Cargo.toml license field Push email notification #7: Commit 375b835 pushed by hyperpolymath
1s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… Push email notification #6: Commit d2d08ea pushed by hyperpolymath
1s main
main
1s
docs(readme): convert README.adoc -> Markdown README.md Push email notification #5: Commit f52676d pushed by hyperpolymath
2s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
2s
chore(clade): backfill [status] lifecycle block (#29) Push email notification #4: Commit a6ffd68 pushed by hyperpolymath
8s main
main
8s
Merge branch 'main' into chore/clade-status-backfill Push email notification #3: Commit e3be4bd pushed by hyperpolymath
1s chore/clade-status-backfill
chore/clade-status-backfill
1s
chore(ci): add dormant push-email notification workflow (#30) Push email notification #2: Commit a714845 pushed by hyperpolymath
1s main
main
1s
chore(ci): add dormant push-email notification workflow Push email notification #1: Commit f5e4652 pushed by hyperpolymath
11s chore/push-email-notify
chore/push-email-notify
11s