From 3c08bc39634c5a2b672b3dad0bad29905c498342 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Thu, 16 May 2024 01:58:08 +0200
Subject: [PATCH] chore(deps): update dependency actions/checkout to v4.1.5
 (#14)

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

diff --git a/.github/workflows/check.dhall b/.github/workflows/check.dhall
index 12e9156..83df126 100644
--- a/.github/workflows/check.dhall
+++ b/.github/workflows/check.dhall
@@ -12,7 +12,7 @@ let check =
       GithubActions.Job::{
       , runs-on = GithubActions.RunsOn.Type.ubuntu-latest
       , steps =
-        [ GithubActions.Step::{ uses = Some "actions/checkout@v4" }
+        [ GithubActions.Step::{ uses = Some "actions/checkout@v4.1.5" }
         , GithubActions.Step::{
           , uses = Some "DeterminateSystems/flake-checker-action@v7"
           }