Skip to content
CI

docker: Improve Kani Docker setup #398

Sign in to view logs

docker: Improve Kani Docker setup

docker: Improve Kani Docker setup #398

Check source

Check source
succeeded May 15, 2024 in 1m 42s