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

2 errors

regression (ubuntu-20.04)

regression (ubuntu-20.04)
failed Sep 23, 2024 in 1m 16s