Skip to content
RISC V and PowerPC 64

reorder initialization #3777

Sign in to view logs

reorder initialization

reorder initialization #3777

Triggered via push May 10, 2024 01:49
@NikolajBjornerNikolajBjorner
pushed d53e62a
nlsat_simplify
Status Failure
Total duration 4m 31s
Artifacts –

cross-build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build (powerpc64)
Process completed with exit code 2.
build (aarch64)
Process completed with exit code 2.
build (riscv64)
Process completed with exit code 2.