Skip to content
Kani CI

Update library/kani_core/src/models.rs #1578

Sign in to view logs

Update library/kani_core/src/models.rs

Update library/kani_core/src/models.rs #1578

regression (ubuntu-22.04)

regression (ubuntu-22.04)
succeeded Nov 22, 2024 in 29m 3s