From 765338a34a429951fe85a030f8fb03a64b91b7a2 Mon Sep 17 00:00:00 2001
From: Byron Hambly <bhambly@blockstream.com>
Date: Fri, 23 May 2025 09:37:08 +0200
Subject: [PATCH 1/2] ci: add nix-build for c and haskell on linux/macos

---
 .github/workflows/ci.yml        | 27 +++++++++++++++++++++++++++
 .github/workflows/codespell.yml | 13 -------------
 2 files changed, 27 insertions(+), 13 deletions(-)
 create mode 100644 .github/workflows/ci.yml
 delete mode 100644 .github/workflows/codespell.yml

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
new file mode 100644
index 00000000..266f0794
--- /dev/null
+++ b/.github/workflows/ci.yml
@@ -0,0 +1,27 @@
+name: CI
+
+on: [push, pull_request]
+
+jobs:
+  codespell:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: codespell-project/actions-codespell@v2
+        with:
+            ignore_words_file: spelling.ignore.txt
+            skip: alectryon
+  build:
+    strategy:
+      fail-fast: false
+      matrix:
+        project: ["c", "haskell"] # coq takes a very long time and times out at 6 hours...
+        os: ["ubuntu-latest", macos-latest]
+    runs-on: ${{ matrix.os }}
+    permissions:
+      id-token: write
+      contents: read
+    steps:
+      - uses: actions/checkout@v4
+      - uses: DeterminateSystems/determinate-nix-action@v3.5.2
+      - run: nix-build -A ${{matrix.project}}
diff --git a/.github/workflows/codespell.yml b/.github/workflows/codespell.yml
deleted file mode 100644
index 60e8edc9..00000000
--- a/.github/workflows/codespell.yml
+++ /dev/null
@@ -1,13 +0,0 @@
-name: codespell
-
-on: [push, pull_request]
-
-jobs:
-  codespell:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: codespell-project/actions-codespell@v2
-        with:
-            ignore_words_file: spelling.ignore.txt
-            skip: alectryon

From d08f62cd877f629774b85de9cb910b8960f994d4 Mon Sep 17 00:00:00 2001
From: Byron Hambly <bhambly@blockstream.com>
Date: Tue, 24 Jun 2025 09:56:05 +0200
Subject: [PATCH 2/2] cabal: update tasty deps

---
 Simplicity.cabal | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Simplicity.cabal b/Simplicity.cabal
index 27c02d96..260d75f5 100644
--- a/Simplicity.cabal
+++ b/Simplicity.cabal
@@ -246,9 +246,9 @@ Test-Suite testsuite
                        lens-family >=2.0 && <2.2,
                        QuickCheck >=2.10 && <2.15,
                        mtl >=2.2 && <2.4,
-                       tasty >=0.11 && <1.5,
+                       tasty ==1.5.3,
                        tasty-hunit >=0.9 && <0.11,
-                       tasty-quickcheck >=0.8 && <0.11,
+                       tasty-quickcheck ==0.11,
                        transformers >=0.5 && <0.7,
                        vector >=0.12 && <0.14