Skip to content
VeriFast

sync-2025-10-09: VeriFast proofs update (#506) #989

Sign in to view logs

sync-2025-10-09: VeriFast proofs update (#506)

sync-2025-10-09: VeriFast proofs update (#506) #989

Triggered via push October 12, 2025 12:51
@tautschnigtautschnig
pushed cca61b5
sync-2025-10-09
Status Failure
Total duration 41s
Artifacts –

verifast.yml

on: push
Verify std library
29s
Verify std library
Notify @btj
6s
Notify @btj
Fit to window
Zoom out
Zoom in

Annotations

1 error
Verify std library
Process completed with exit code 1.