Skip to content
VeriFast (negative)

Update Kani Metrics (#478) #87

Sign in to view logs

Update Kani Metrics (#478)

Update Kani Metrics (#478) #87

Triggered via push September 8, 2025 07:43
@tautschnigtautschnig
pushed 8de7d8f
main
Status Success
Total duration 30s
Artifacts –

verifast-negative.yml

on: push
Verify std library
22s
Verify std library
Fit to window
Zoom out
Zoom in