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

Re-run triggered November 4, 2024 10:00
@xavierleroyxavierleroy
#534
andres-erbsen:less-ZArith_base
Status Failure
Total duration 2m 43s
Artifacts –

build.yml

on: pull_request
macos
1m 9s
macos
Matrix: linux
Fit to window
Zoom out
Zoom in

Annotations

12 errors
macos
Process completed with exit code 2.
linux (x86_64)
Process completed with exit code 2.
linux (riscv)
The job was canceled because "x86_64" failed.
linux (riscv)
The operation was canceled.
linux (x86_32)
The job was canceled because "x86_64" failed.
linux (x86_32)
The operation was canceled.
linux (ppc)
The job was canceled because "x86_64" failed.
linux (ppc)
The operation was canceled.
linux (arm)
The job was canceled because "x86_64" failed.
linux (arm)
The operation was canceled.
linux (aarch64)
The job was canceled because "x86_64" failed.
linux (aarch64)
The operation was canceled.