Skip to content
Kani Format Check

Reduce memory consumption of cell_stub.rs test #7432

Sign in to view logs

Reduce memory consumption of cell_stub.rs test

Reduce memory consumption of cell_stub.rs test #7432

Triggered via pull request July 31, 2024 14:18
@tautschnigtautschnig
opened #3399
tautschnig:use-minisat
Status Success
Total duration 7m 25s
Artifacts –

format-check.yml

on: pull_request
format-check
9s
format-check
clippy-check
7m 17s
clippy-check
Fit to window
Zoom out
Zoom in