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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
minimal-check
5m 6s
5m 6s