Merge branch 'main' into refactor/concrete-proof-plan

.cargo/config.toml

@@ -1,3 +1,7 @@
 [target.x86_64-unknown-linux-gnu]
 linker = "/usr/bin/clang" # used to decrease build time
 rustflags = ["-Clink-arg=-fuse-ld=lld"] # used to decrease link time
+
+[alias]
+f = "fmt --all -- --config imports_granularity=Crate,group_imports=One"
+cl = "clippy --all-targets --all-features"

.github/workflows/lint-and-test.yml

@@ -145,7 +145,7 @@ jobs:
       - name: Install Dependencies
         run: export DEBIAN_FRONTEND=non-interactive && sudo apt-get update && sudo apt-get install -y clang lld
       - name: Run clippy
-        run: cargo clippy --all-targets --all-features -- -D warnings
+        run: cargo cl -- -D warnings
 
   coverage:
     name: Code Coverage
@@ -182,7 +182,7 @@ jobs:
       #   files: lcov.info
       #   fail_ci_if_error: true
 
-  # Run cargo fmt --all -- --config imports_granularity=Crate,group_imports=One --check
+  # Run cargo f --check
   format:
     name: Format
     runs-on: ubuntu-latest
@@ -194,7 +194,7 @@ jobs:
           curl https://sh.rustup.rs -sSf | bash -s -- -y --profile minimal && source ~/.cargo/env
           rustup component add rustfmt
       - name: Run cargo fmt
-        run: cargo fmt --all -- --config imports_granularity=Crate,group_imports=One --check
+        run: cargo f --check
 
   udeps:
     name: Unused Dependencies