feat: upgrade to 2409-2 (#576)

eigerco · Nov 21, 2024 · 5b5bdd8 · 5b5bdd8
1 parent 1184d04
commit 5b5bdd8
Show file tree

Hide file tree

Showing 12 changed files with 8,129 additions and 2,865 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -42,7 +42,7 @@ jobs:
       - name: Setup mdBook
         uses: peaceiris/actions-mdbook@v2
         with:
-          mdbook-version: '0.4.40'
+          mdbook-version: "0.4.40"
       - name: Build the book
         run: mdbook build docs
 
@@ -90,4 +90,4 @@ jobs:
       - name: Cargo clippy
         run: RUSTFLAGS="-D warnings" cargo clippy --profile ci --locked
       - name: Run tests
-        run: RUSTFLAGS="-D warnings" cargo tarpaulin --profile ci --locked --workspace --exclude maat
+        run: RUSTFLAGS="-D warnings" cargo tarpaulin --profile ci --locked --workspace --skip-clean --exclude maat