All test modules imported

feat: shim code for lean4web #592

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 –

test-imports.yml

on: pull_request

Check all test modules are imported