From 54d6ca82d8f9b74e18d43ce662b9cf0ad530a958 Mon Sep 17 00:00:00 2001
From: Tobias Pape <tobias@netshed.de>
Date: Fri, 9 Feb 2024 15:57:29 +0100
Subject: [PATCH] [ci] gh is picky

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 22dae4e..980b68d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -7,7 +7,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Set up Git repository
-        uses: actions/checkout@latest
+        uses: actions/checkout@v4
 
       - name: Compile LaTeX document (PdfLaTeX)
         uses: dante-ev/latex-action@latest