Skip to content
Kani CI

Update library/kani_macros/src/sysroot/contracts/mod.rs #117

Sign in to view logs

Update library/kani_macros/src/sysroot/contracts/mod.rs

Update library/kani_macros/src/sysroot/contracts/mod.rs #117

regression (ubuntu-22.04)

regression (ubuntu-22.04)
succeeded Oct 29, 2024 in 31m 26s