diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
index f5a7d99..dc9b7ef 100644
--- a/.github/workflows/compile.yml
+++ b/.github/workflows/compile.yml
@@ -12,7 +12,7 @@ jobs:
 
     steps:
     - name: Checkout_git
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
       with:
         # We must fetch at least the immediate parents so that if this is
         # a pull request then we can checkout the head.