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

Annotations

2 errors

linux (arm)

linux (arm)
cancelled Nov 4, 2024 in 2m 30s