Merge ad134df5be into 9cbeb0a3d4

.github/workflows/coverage.yaml

@@ -16,7 +16,7 @@ jobs:
     timeout-minutes: 30
     runs-on: ubuntu-20.04
     steps:
-      - uses: actions/checkout@v4.1.4
+      - uses: actions/checkout@v4.1.5
         with:
           persist-credentials: false
 

.github/workflows/main.yml

@@ -7,7 +7,7 @@ jobs:
     name: test on nightly
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v4.1.4
+    - uses: actions/checkout@v4.1.5
     # Because we use nightly features for building docs,
     # using --all-features will fail without nightly toolchain.
     - uses: actions-rs/toolchain@v1.0.7