Skip to content
VeriFast

Fix subtree update action #70

Sign in to view logs

Fix subtree update action

Fix subtree update action #70

Triggered via push June 2, 2025 18:44
@tautschnigtautschnig
pushed 160d315
fixup-subtree-update
Status Success
Total duration 23s
Artifacts –

verifast.yml

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