Updated CI

.github/workflows/ci.yml

@@ -48,7 +48,7 @@ jobs:
     # job will run on ubuntu-latest
     runs-on: ubuntu-latest
     # job timeout, shouldn't take longer really
-    timeout-minutes: 10
+    timeout-minutes: 5
     # job steps
     steps:
       # This action checks-out your repository under $GITHUB_WORKSPACE, so your workflow can access it.
@@ -70,6 +70,10 @@ jobs:
       - run: cargo doc --all-features
       # run test suite
       - run: cargo test --verbose
+      # test cargo clean
+      - run: cargo clean --verbose
+      # run test suite
+      - run: cargo test --verbose
 
 
   #################################################################################################
@@ -128,7 +132,7 @@ jobs:
   windows:
     name: Windows
     runs-on: windows-latest
-    timeout-minutes: 10
+    timeout-minutes: 4
     steps:
       - uses: actions/checkout@v3
       - uses: dtolnay/rust-toolchain@stable

Cargo.toml

@@ -5,12 +5,12 @@ version = "0.1.14"
 license = "MIT"
 authors = ["Miklos Maroti <[email protected]>"]
 edition = "2018"
-repository = "https://github.com/mmaroti/cadical-rs/"
+repository = "https://github.com/sirandreww/cadical-rs.git"
 keywords = ["SAT", "solver", "logic", "satisfiability", "minisat"]
 categories = ["mathematics", "science"]
 readme = "README.md"
-links = "ccadical"
-exclude = ["cadical/src/makefile", "cadical/scripts", "cadical/test"]
+links = "cadical"
+exclude = ["cadical-b29a98e5f1fd93a3adb775a498a25b41e0cc70e7/src/makefile", "cadical-b29a98e5f1fd93a3adb775a498a25b41e0cc70e7/scripts", "cadical-b29a98e5f1fd93a3adb775a498a25b41e0cc70e7/test"]
 
 [build-dependencies]
 cc = { version = "1.0", features = ["parallel"] }