Update actions/checkout action to v3.5.2

| datasource  | package          | from   | to     |
| ----------- | ---------------- | ------ | ------ |
| github-tags | actions/checkout | v3.0.2 | v3.5.2 |

Author: renovate[bot]

.github/workflows/build.yml

@@ -19,7 +19,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v3.0.2
+        uses: actions/checkout@v3.5.2
         with:
           fetch-depth: 0
 

.github/workflows/publish.yml

@@ -32,7 +32,7 @@ jobs:
       proofs-version: ${{ steps.get-proofs-version.outputs.proofs-version }}
 
     steps:
-      - uses: actions/checkout@v3.0.2
+      - uses: actions/checkout@v3.5.2
         with:
           fetch-depth: 0
 
@@ -79,7 +79,7 @@ jobs:
     runs-on: macos-11
 
     steps:
-    - uses: actions/checkout@v3.0.2
+    - uses: actions/checkout@v3.5.2
 
     - uses: actions/setup-java@v3.5.1
       with:

.github/workflows/pull_request.yml

@@ -20,7 +20,7 @@ jobs:
         jvm_target: ['1.8', '11', '15']
 
     steps:
-      - uses: actions/checkout@v3.0.2
+      - uses: actions/checkout@v3.5.2
         with:
           fetch-depth: 0