ci,cadical: do not test interface yet

Signed-off-by: Norbert Manthey <[email protected]>
conp-solutions · Jan 15, 2022 · bf248a1 · bf248a1
1 parent 847d021
commit bf248a1
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/build-and-test-parallel.yml b/.github/workflows/build-and-test-parallel.yml
@@ -43,10 +43,6 @@ jobs:
       run: |
         ./tools/check-determinism.sh "build/release/bin/mergesat -cores=3"  "build/release/bin/mergesat -cores=3 -no-diversify" "build/release/bin/mergesat -cores=2 -no-pre" "build/debug/bin/mergesat -cores=3" "build/debug/bin/mergesat -cores=3 -no-diversify" "build/debug/bin/mergesat -cores=2 -no-pre"
 
-    - name: check cadical interface
-      run: |
-        ./tools/cadical-interface/compare-cadical-mergesat.sh
-
 
   MacOS: