push-master.yml: set up Java and Node.js before cloning the GitHub repo

.github/workflows/push-master.yml

@@ -11,14 +11,14 @@ jobs:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
       - uses: actions/setup-java@v4
         with:
           distribution: 'zulu'
           java-version: 17
       - uses: actions/setup-node@v4
         with:
           node-version: 20.12.1
+      - uses: actions/checkout@v4
       - run: npm ci
       - run: npx antora docs/ci-playbook.yml
       - run: ./gradlew copyJavadocToSite --console=plain --no-daemon --stacktrace