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