Skip to content

fix(cryptominisat): environment variables for cadical/cadiback direct… #39

fix(cryptominisat): environment variables for cadical/cadiback direct…

fix(cryptominisat): environment variables for cadical/cadiback direct… #39

Triggered via push November 16, 2024 11:48
Status Failure
Total duration 9m 35s
Artifacts

CI.yaml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 notices
Lint
Process completed with exit code 101.
Build
Process completed with exit code 101.
sccache stats
40% - 179 hits, 254 misses, 10 errors
sccache stats
49% - 216 hits, 217 misses, 10 errors