ci: Ignore cargo kani for Codecov

acgetchell · Aug 15, 2024 · 4732a05 · 4732a05
1 parent ef8ae5b
commit 4732a05
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 4 deletions.
diff --git a/.github/workflows/codecov.yml b/.github/workflows/codecov.yml
@@ -38,10 +38,10 @@ jobs:
       - name: Install tarpaulin
         run: cargo install cargo-tarpaulin
 
-      - name: Install kani
-        run: |
-          cargo install kani-verifier
-          cargo kani setup
+      # - name: Install kani
+      #   run: |
+      #     cargo install kani-verifier
+      #     cargo kani setup
 
       - name: Run tarpaulin
         run: |

diff --git a/Cargo.toml b/Cargo.toml
@@ -18,3 +18,6 @@ assert_cmd = "2.0.16"
 
 [dev-dependencies]
 predicates = "3.1.2"
+
+[lints.rust]
+unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }