VeriFast

Fix subtree automation for submodules when there were no changes #74

Sign in to view logs

Triggered via push June 25, 2025 18:47

tautschnig

fixup-submodule-automation

Status Success

Total duration 27s

Artifacts –

verifast.yml

on: push

Verify std library