Merge remote-tracking branch 'github/pull/23'

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 34cbb7fc75b693ec2f1628fbb05ae5d931bf65c6..cf4d39f10ab7d57d152e557dd369fc288c6e4db0 100644 (file)
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -14,7 +14,7 @@ jobs:
 
     steps:
     - name: Checkout
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
 
     - name: Install dependencies
       run: |