Skip to content
Governance

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

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) #58

Run time

Learn about OS pricing on GitHub Actions
Job Run time
governance / Check Workflow Staleness
7s
governance / Validate Hypatia Baseline
-1s
6s