Commit 2025-04-15 16:43 ce5e0f61
View on Github →fix(nolints.yml): move print Lean version step after the installation of Lean (#24088)
Fixes an oversight from #23868, which made the workflow fail.
fix(nolints.yml): move print Lean version step after the installation of Lean (#24088)
Fixes an oversight from #23868, which made the workflow fail.