Skip to content

Update Kissat to version 4.0.0 #224

Update Kissat to version 4.0.0

Update Kissat to version 4.0.0 #224

Triggered via pull request July 28, 2024 23:07
Status Failure
Total duration 1m 48s
Artifacts

rust.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 notices
clippy
Process completed with exit code 101.
sccache stats
0% - 0 hits, 0 misses, 0 errors
sccache stats
0% - 0 hits, 0 misses, 0 errors
sccache stats
0% - 0 hits, 0 misses, 0 errors