Skip to content
VeriFast (negative)

Subtree update automation: create merge PR even when subtree/library is up-to-date #277

Sign in to view logs

Subtree update automation: create merge PR even when subtree/library is up-to-date

Subtree update automation: create merge PR even when subtree/library is up-to-date #277

Triggered via pull request April 15, 2025 20:36
@tautschnigtautschnig
synchronize #326
tautschnig:disentable-update-logic
Status Success
Total duration 24s
Artifacts –

verifast-negative.yml

on: pull_request
Verify std library
20s
Verify std library
Fit to window
Zoom out
Zoom in