diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 2b72339..319d853 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -22,7 +22,7 @@ jobs:
     steps:
       # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
       - name: Set up Git repository
-        uses: actions/checkout@v2
+        uses: actions/checkout@v5
 
       # First run of pdflatex.
       - name: First pdflatex FormalLanguageConstrainedReachabilityLectureNotes