Skip to content
Rust

Update CaDiCaL to v1.9.5 #151

Sign in to view logs

Update CaDiCaL to v1.9.5

Update CaDiCaL to v1.9.5 #151

Triggered via push March 19, 2024 04:02
@Dekker1Dekker1
pushed 3486ff9
develop
Status Success
Total duration 2m 50s
Artifacts –

rust.yml

on: push
test
2m 40s
test
clippy
2m 34s
clippy
format
17s
format
Fit to window
Zoom out
Zoom in