Skip to content
Kani Format Check

Maintain test execution performance with newer CaDiCaL versions #7301

Sign in to view logs

Maintain test execution performance with newer CaDiCaL versions

Maintain test execution performance with newer CaDiCaL versions #7301

Triggered via pull request July 24, 2024 19:50
@tautschnigtautschnig
opened #3381
tautschnig:tests-use-minisat
Status Success
Total duration 2m 53s
Artifacts –

format-check.yml

on: pull_request
format-check
5s
format-check
clippy-check
2m 43s
clippy-check
Fit to window
Zoom out
Zoom in