Skip to content
Kani CI

Reduce memory consumption of cell_stub.rs test #7600

Sign in to view logs

Reduce memory consumption of cell_stub.rs test

Reduce memory consumption of cell_stub.rs test #7600

regression (ubuntu-22.04)

regression (ubuntu-22.04)
succeeded Jul 31, 2024 in 28m 0s