Merge pull request #12 from lixitrixi/main

Specify solver imports explicitly
conjure-cp · Oct 5, 2023 · 27a39e5 · 27a39e5
2 parents e80bc66 + 6284b02
commit 27a39e5
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 2 deletions.
diff --git 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
@@ -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
@@ -5,9 +5,11 @@ on:
   push:
     paths: 
       - 'solvers/minion/**'
+      - "Cargo.*"
   pull_request:
     paths: 
       - 'solvers/minion/**'
+      - "Cargo.*"
   workflow_dispatch:
 
 jobs:

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