Skip to content
Cross-Platform Build & Test

proof(abi): machine-checked layout proofs for all 8 ABI structs (Idris2 0.7.0) #96

Sign in to view logs

proof(abi): machine-checked layout proofs for all 8 ABI structs (Idris2 0.7.0)

proof(abi): machine-checked layout proofs for all 8 ABI structs (Idris2 0.7.0) #96

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
1m 24s
1m 24s