Skip to content
Lean Action CI

Update to Lean 4.20.1 #48

Sign in to view logs

Update to Lean 4.20.1

Update to Lean 4.20.1 #48

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
28s
28s
⚡