Skip to content
Rust

Cadical: Add ability to clone solver #137

Sign in to view logs

Cadical: Add ability to clone solver

Cadical: Add ability to clone solver #137

Triggered via pull request January 23, 2024 23:53
@Dekker1Dekker1
opened #35
feat/cadical_clone
Status Failure
Total duration 4m 19s
Artifacts –

rust.yml

on: pull_request
test
3m 10s
test
clippy
4m 9s
clippy
format
33s
format
Fit to window
Zoom out
Zoom in

Annotations

1 error
clippy
Process completed with exit code 101.