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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Email on push
-10s
-10s