Consistent subproject dependencies

fix: don't run 'lake update subverso' in IO example projects (#945) #2074

Sign in to view logs

Triggered via push August 6, 2026 06:36

github-merge-queue[bot]

main

Status Success

Total duration 12s

Artifacts –

consistent-subverso-manifests.yml

on: push

SubVerso version consistency