From 62da8b7b7d612e79da1026f678400ed1c44d1b9d Mon Sep 17 00:00:00 2001
From: Felix <felix@felixleitner.com>
Date: Wed, 4 Oct 2023 20:00:36 +0100
Subject: [PATCH 1/3] Explicitly list solvers in workspace imports

---
 Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Cargo.toml b/Cargo.toml
index be1bdb3eb0..b76081f471 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,4 +1,4 @@
 [workspace]
 
-members = ["solvers/*"]
+members = ["solvers/kissat", "solvers/minion", "solvers/chuffed"]
 exclude = []

From f4d3ae185972524af1a4120b4468d76e9bb9fcb4 Mon Sep 17 00:00:00 2001
From: Felix <felix@felixleitner.com>
Date: Wed, 4 Oct 2023 20:07:52 +0100
Subject: [PATCH 2/3] Add lock file

---
 Cargo.lock | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Cargo.lock b/Cargo.lock
index 20f25caede..0c4c59b5a7 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -97,7 +97,7 @@ checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
 name = "chuffed_rs"
 version = "0.1.0"
 dependencies = [
- "bindgen",
+ "bindgen 0.68.1",
  "cc",
 ]
 

From 6284b0242c8536a6fcea575130a952051c65543e Mon Sep 17 00:00:00 2001
From: Felix <felix@felixleitner.com>
Date: Thu, 5 Oct 2023 14:30:59 +0100
Subject: [PATCH 3/3] Add Cargo files to CI workflow

---
 .github/workflows/chuffed-tests.yml | 2 ++
 .github/workflows/kissat-tests.yml  | 2 ++
 .github/workflows/minion-tests.yml  | 2 ++
 3 files changed, 6 insertions(+)

diff --git a/.github/workflows/chuffed-tests.yml b/.github/workflows/chuffed-tests.yml
index 1fce84192a..e55c5b7771 100644
--- a/.github/workflows/chuffed-tests.yml
+++ b/.github/workflows/chuffed-tests.yml
@@ -5,9 +5,11 @@ on:
   push:
     paths:
       - "solvers/chuffed/**"
+      - "Cargo.*"
   pull_request:
     paths:
       - "solvers/chuffed/**"
+      - "Cargo.*"
   workflow_dispatch:
 
 
diff --git a/.github/workflows/kissat-tests.yml b/.github/workflows/kissat-tests.yml
index c957a0e77e..c493f6b63c 100644
--- a/.github/workflows/kissat-tests.yml
+++ b/.github/workflows/kissat-tests.yml
@@ -5,9 +5,11 @@ on:
   push:
     paths: 
       - 'solvers/kissat/**'
+      - "Cargo.*"
   pull_request:
     paths: 
       - 'solvers/kissat/**'
+      - "Cargo.*"
   workflow_dispatch:
 
 jobs:
diff --git a/.github/workflows/minion-tests.yml b/.github/workflows/minion-tests.yml
index 279292eeed..d3a5f25a01 100644
--- a/.github/workflows/minion-tests.yml
+++ b/.github/workflows/minion-tests.yml
@@ -5,9 +5,11 @@ on:
   push:
     paths: 
       - 'solvers/minion/**'
+      - "Cargo.*"
   pull_request:
     paths: 
       - 'solvers/minion/**'
+      - "Cargo.*"
   workflow_dispatch:
 
 jobs: