Skip to content
VeriFast

Resolve conflict #933

Sign in to view logs

Resolve conflict

Resolve conflict #933

Triggered via push September 10, 2025 16:14
@tautschnigtautschnig
pushed 70f1ebf
sync-2025-09-09
Status Failure
Total duration 36s
Artifacts –

verifast.yml

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

Annotations

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