Skip to content
Kani CI

Avoid unnecessary uses of Location::none() #302

Sign in to view logs

Avoid unnecessary uses of Location::none()

Avoid unnecessary uses of Location::none() #302

regression (ubuntu-20.04)

regression (ubuntu-20.04)
succeeded May 6, 2024 in 22m 9s