Skip to content
.github/workflows/dogfood-gate.yml

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

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 #101

Run time

Learn about OS pricing on GitHub Actions
Job Run time
0s