fix(nolints.yml): move print Lean version step after the installation of Lean (#24088)

Fixes an oversight from #23868, which [made the workflow fail](https://github.com/leanprover-community/mathlib4/actions/runs/14424502470/job/40451294006).

Author: grunweg

.github/workflows/nolints.yml

@@ -23,11 +23,6 @@ jobs:
           ## fetch the whole repository, as we want to push to it later
           fetch-depth: 0
 
-      - name: print lean and lake versions
-        run: |
-          lean --version
-          lake --version
-
       - name: prune ProofWidgets .lake
         run: |
           # The ProofWidgets release contains not just the `.js` (which we need in order to build)
@@ -44,6 +39,11 @@ jobs:
           use-github-cache: false
           use-mathlib-cache: true
 
+      - name: print lean and lake versions
+        run: |
+          lean --version
+          lake --version
+
       - name: build mathlib
         id: build
         uses: liskin/gh-problem-matcher-wrap@e7b7beaaafa52524748b31a381160759d68d61fb # v3.0.0