Skip to content
Kani CI

Check if building kani-cov works #1080

Sign in to view logs

Check if building kani-cov works

Check if building kani-cov works #1080

Annotations

1 error

regression (macos-14)

regression (macos-14)
cancelled Sep 23, 2024 in 1m 22s