From 4b52a76670a600f97f0b2c56614dda420dbdee57 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Sat, 11 May 2024 03:40:50 +0000
Subject: [PATCH] chore(deps): update dependency actions/checkout to v4.1.5

---
 .github/workflows/check.dhall         | 2 +-
 .github/workflows/renovate-post.dhall | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/check.dhall b/.github/workflows/check.dhall
index 983d5f1..2bbb95d 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@v5"
           }
diff --git a/.github/workflows/renovate-post.dhall b/.github/workflows/renovate-post.dhall
index 8e9cc02..3f3adb4 100644
--- a/.github/workflows/renovate-post.dhall
+++ b/.github/workflows/renovate-post.dhall
@@ -13,7 +13,7 @@ let permissions =
         ]
 
 let steps =
-      [ GithubActions.Step::{ uses = Some "actions/checkout@v4" }
+      [ GithubActions.Step::{ uses = Some "actions/checkout@v4.1.5" }
       , GithubActions.Step::{
         , uses = Some "DeterminateSystems/nix-installer-action@v11"
         }