Update actions/checkout action to v3.0.2 (#19)

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

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>

Author: renovate[bot]

.github/workflows/publish.yml

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

.github/workflows/pull_request.yml

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