Skip to content
Push email notification

ABI Layer 2: prove affine usage (use-at-most-once) in Semantics #23

Sign in to view logs

ABI Layer 2: prove affine usage (use-at-most-once) in Semantics

ABI Layer 2: prove affine usage (use-at-most-once) in Semantics #23

Triggered via push June 27, 2026 19:40
@hyperpolymathhyperpolymath
pushed c963f18
claude/new-session-znxgm7
Status Skipped
Total duration –
Artifacts –

push-email-notify.yml

on: push
Email on push
Email on push
Fit to window
Zoom out
Zoom in