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"
           }