Skip to content
Build & Tests

[project] Initial commit #5559

Sign in to view logs

[project] Initial commit

[project] Initial commit #5559

Annotations

1 error

Run tests under Kani

Run tests under Kani
failed Oct 18, 2024 in 38s