Skip to content
Rust

Update CaDiCaL to version 1.9.0 #117

Sign in to view logs

Update CaDiCaL to version 1.9.0

Update CaDiCaL to version 1.9.0 #117

Triggered via pull request November 19, 2023 03:09
@Dekker1Dekker1
opened #29
feature/cadical-190
Status Failure
Total duration 2m 40s
Artifacts –

rust.yml

on: pull_request
test
2m 31s
test
clippy
2m 8s
clippy
format
18s
format
Fit to window
Zoom out
Zoom in

Annotations

2 errors
format
Process completed with exit code 1.
clippy
Process completed with exit code 101.