Skip to content
VeriFast (negative)

Automate subtree update #2

Sign in to view logs

Automate subtree update

Automate subtree update #2

Triggered via push February 20, 2025 11:54
@tautschnigtautschnig
pushed 0037946
automate-subtree-update
Status Success
Total duration 34s
Artifacts –

verifast-negative.yml

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