diff --git a/.github/workflows/format-check.yml b/.github/workflows/format-check.yml
index 81253f1a9790..1bfc2582c87c 100644
--- a/.github/workflows/format-check.yml
+++ b/.github/workflows/format-check.yml
@@ -47,7 +47,7 @@ jobs:
 
       - name: 'Run Clippy'
         run: |
-          cargo clippy --workspace --exclude charon --exclude macros --no-deps -- -D warnings
+          cargo clippy --workspace -- -D warnings
 
       - name: 'Print Clippy Statistics'
         run: |
diff --git a/deny.toml b/deny.toml
index e44b234f4ca8..9866397b4655 100644
--- a/deny.toml
+++ b/deny.toml
@@ -8,14 +8,6 @@
 db-path = "~/.cargo/advisory-db"
 db-urls = ["https://github.com/rustsec/advisory-db"]
 yanked = "deny"
-# A list of advisory IDs to ignore. Note that ignored advisories will still
-# output a note when they are encountered.
-ignore = [
-    # This is for a crate that is used by Charon
-    "RUSTSEC-2021-0139",
-    # This is for a crate that is used by Charon
-    "RUSTSEC-2020-0095",
-]
 
 # This section is considered when running `cargo deny check licenses`
 # More documentation for the licenses section can be found here:
@@ -50,6 +42,3 @@ wildcards = "allow"
 unknown-registry = "deny"
 unknown-git = "deny"
 allow-registry = ["https://github.com/rust-lang/crates.io-index"]
-allow-git = [
-    "https://github.com/hacspec/hax",
-]
diff --git a/rustfmt.toml b/rustfmt.toml
index f895fafbbdef..44cbfe4a3dc9 100644
--- a/rustfmt.toml
+++ b/rustfmt.toml
@@ -15,5 +15,4 @@ ignore = [
     # For some reason, this is not working without the directory wildcard.
     "**/firecracker",
     "**/tests/perf/s2n-quic/",
-    "**/charon/charon/",
 ]