build: update checkout version.

11 months ago · ee699bad74
parent 2994ba8567
commit ee699bad74
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/cleanup-after-milestone-prs-merged.yml
+++ b/.github/workflows/cleanup-after-milestone-prs-merged.yml
@ -11,7 +11,7 @@ jobs:
    steps:
    - name: Checkout repository
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4.2.0
    - name: Get the PR title and extract PR numbers
      id: extract_pr_numbers