Skip to content
Back to pull request #129

Bump to latest version of Lean and fix errors introduced by breaking changes #114

Sign in to view logs

Bump to latest version of Lean and fix errors introduced by breaking changes

Bump to latest version of Lean and fix errors introduced by breaking changes #114

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build (ubuntu-latest)
4m 43s
Build (macos-latest)
4m 25s
9m 8s