Consistent subproject dependencies

feat: shim code for lean4web #1899

Sign in to view logs

Triggered via pull request June 19, 2026 21:05

robsimmons

synchronize #884

versobox-shim

Status Success

Total duration 10s

Artifacts –

consistent-subverso-manifests.yml

on: pull_request

SubVerso version consistency