Skip to content
Check LLVM ABI annotations

verify: Reject valid(p, n) outside a precondition #34

Sign in to view logs

verify: Reject valid(p, n) outside a precondition

verify: Reject valid(p, n) outside a precondition #34

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check LLVM_ABI annotations with ids
-10s
-10s