Skip to content
GitHub Pages

ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 … #50

Sign in to view logs

ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 …

ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 … #50

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
24m 41s
deploy
0s
24m 41s