Skip to content
Build

use Z.eqb_eq instead of Z.eqb_compare, fold Zeq_bool (for coq/coq#19801) #71

Sign in to view logs

use Z.eqb_eq instead of Z.eqb_compare, fold Zeq_bool (for coq/coq#19801)

use Z.eqb_eq instead of Z.eqb_compare, fold Zeq_bool (for coq/coq#19801) #71

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macos
1m 9s
linux (aarch64)
2m 32s
linux (arm)
2m 30s
linux (ppc)
2m 31s
linux (riscv)
2m 31s
linux (x86_32)
2m 30s
linux (x86_64)
2m 26s
16m 9s