From 74341aa6a75fe5ca413950c15c1528e167e1f204 Mon Sep 17 00:00:00 2001
From: Pablo Lamela <pablo.lamela@iohk.io>
Date: Thu, 7 May 2026 02:18:46 +0200
Subject: [PATCH] Add CI check to verify the nix develop shell works

---
 .github/workflows/dev-shell-works.yml | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 .github/workflows/dev-shell-works.yml

diff --git a/.github/workflows/dev-shell-works.yml b/.github/workflows/dev-shell-works.yml
new file mode 100644
index 00000000000..354f1786b43
--- /dev/null
+++ b/.github/workflows/dev-shell-works.yml
@@ -0,0 +1,25 @@
+name: Dev shell works
+
+on:
+  merge_group:
+  pull_request:
+
+permissions:
+  contents: read
+
+jobs:
+  dev-shell-works:
+    strategy:
+      matrix:
+        os: [ubuntu-latest, macos-latest]
+    runs-on: ${{ matrix.os }}
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: cachix/install-nix-action@v31.10.6
+        with:
+          extra_nix_config: |
+            accept-flake-config = true
+
+      - name: Smoke test
+        run: nix develop --command ghc -- --version