From 7e25f8db18027b1ac0ecc12edb28379e8789bb30 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 18 Aug 2025 08:05:31 +0000
Subject: [PATCH] Bump actions/checkout from 4 to 5

Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v4...v5)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: '5'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 .github/workflows/haskell.yml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
index 6e98567..bb3e97b 100644
--- a/.github/workflows/haskell.yml
+++ b/.github/workflows/haskell.yml
@@ -23,7 +23,7 @@ jobs:
         os: [ubuntu-20.04]
 
     steps:
-    - uses: actions/checkout@v4
+    - uses: actions/checkout@v5
       with:
         submodules: true
 
@@ -115,7 +115,7 @@ jobs:
         sudo apt-get install build-essential clang bison flex libreadline-dev gawk tcl-dev libffi-dev git graphviz xdot pkg-config python python3 libftdi-dev qt5-default python3-dev libboost-all-dev cmake libeigen3-dev
 
     - name: Checkout icestorm
-      uses: actions/checkout@v4
+      uses: actions/checkout@v5
       with:
         repository: YosysHQ/icestorm
         path: icestorm
@@ -127,7 +127,7 @@ jobs:
         sudo make install
 
     - name: Checkout nextpnr
-      uses: actions/checkout@v4
+      uses: actions/checkout@v5
       with:
         repository: YosysHQ/nextpnr
         ref: master
@@ -142,7 +142,7 @@ jobs:
         sudo make install
 
     - name: Checkout yosys
-      uses: actions/checkout@v4
+      uses: actions/checkout@v5
       with:
         repository: YosysHQ/yosys
         ref: main
@@ -156,7 +156,7 @@ jobs:
         sudo make install
 
     - name: Checkout SymbiYosys (sby)
-      uses: actions/checkout@v4
+      uses: actions/checkout@v5
       with:
         repository: YosysHQ/sby
         ref: main
@@ -169,7 +169,7 @@ jobs:
         sudo make install
 
     - name: Checkout Boolector
-      uses: actions/checkout@v4
+      uses: actions/checkout@v5
       with:
         repository: boolector/boolector
         ref: master
@@ -186,7 +186,7 @@ jobs:
         sudo cp deps/btor2tools/build/bin/btorsim /usr/local/bin
 
     - name: Checkout riscv-gnu-toolchain
-      uses: actions/checkout@v4
+      uses: actions/checkout@v5
       with:
         repository: riscv/riscv-gnu-toolchain
         ref: master