chore(deps): update actions/checkout action to v4

Author: renovate[bot]

.github/workflows/release.yml

@@ -8,7 +8,7 @@ jobs:
     runs-on: ubuntu-22.04 # May also run on other kinds of distros
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Setup Java
         uses: actions/setup-java@v3 # Does also set up Maven and GPG
         with: