Skip to content
RISC V and PowerPC 64

separate out simplification functionality #3776

Sign in to view logs

separate out simplification functionality

separate out simplification functionality #3776

Triggered via push May 10, 2024 01:41
@NikolajBjornerNikolajBjorner
pushed b343804
nlsat_simplify
Status Failure
Total duration 4m 5s
Artifacts –

cross-build.yml

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

Annotations

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