From 121cb22861907d03d82084637ba1941de512e48d Mon Sep 17 00:00:00 2001
From: "E. Choroba" <choroba@matfyz.cz>
Date: Tue, 2 Jan 2024 12:41:11 +0100
Subject: [PATCH] Update GitHub actions/checkout to v4

Uses Node20, as Node16 is EOL
(https://github.com/actions/checkout/pull/1436).
---
 .github/workflows/ci.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 8b6012df..66b061d5 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -273,12 +273,12 @@ jobs:
     steps:
       - name: Checkout git commit ${{ github.sha }}
         if: github.event_name != 'pull_request'
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           ref: ${{ github.sha }}
       - name: Checkout git commit ${{ github.event.pull_request.head.sha }} (fixup for pull request)
         if: github.event_name == 'pull_request'
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           ref: ${{ github.event.pull_request.head.sha }}
       - name: Setup cpan sources cache