Skip to content

Kani CI

Kani CI #136

Triggered via schedule November 2, 2024 00:19
Status Failure
Total duration 48s
Artifacts

cron-daily-kani.yml

on: schedule

Annotations

1 error
run-kani
Process completed with exit code 1.