chore: sync files

Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
tier4 · Jul 29, 2024 · 01e9d9e · 01e9d9e
1 parent 496058e
commit 01e9d9e
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/delete-closed-pr-docs.yaml b/.github/workflows/delete-closed-pr-docs.yaml
@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Check out repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v3
         with:
           fetch-depth: 0
 

diff --git a/.github/workflows/deploy-docs.yaml b/.github/workflows/deploy-docs.yaml
@@ -31,7 +31,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Check out repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v3
         with:
           fetch-depth: 0
           ref: ${{ github.event.pull_request.head.sha }}

diff --git a/.markdownlint.yaml b/.markdownlint.yaml
@@ -7,5 +7,6 @@ MD029:
   style: ordered
 MD033: false
 MD041: false
+MD045: false
 MD046: false
 MD049: false
diff --git a/.pre-commit-config-optional.yaml b/.pre-commit-config-optional.yaml
@@ -1,6 +1,6 @@
 repos:
   - repo: https://github.com/tcort/markdown-link-check
-    rev: v3.11.2
+    rev: v3.12.2
     hooks:
       - id: markdown-link-check
         args: [--quiet, --config=.markdown-link-check.json]