Skip to content
CI

lean: ship the module roots — lean cannot compile anything without them #2132

Sign in to view logs

lean: ship the module roots — lean cannot compile anything without them

lean: ship the module roots — lean cannot compile anything without them #2132

Triggered via pull request August 13, 2026 20:57
@bryan-minimalbryan-minimal
synchronize #605
fix/lean-module-root-oleans
Status Success
Total duration 5m 11s
Artifacts –

ci.yml

on: pull_request
minimal-check
5m 6s
minimal-check
Fit to window
Zoom out
Zoom in