Merge pull request #28 from rpl-cmu/version-bumps

Update versions & tiny-solver benches
rpl-cmu · Jan 8, 2025 · aa86c7c · aa86c7c
2 parents 749701b + ff5bcb8
commit aa86c7c
Show file tree

Hide file tree

Showing 7 changed files with 1,001 additions and 338 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -23,7 +23,7 @@ jobs:
     - name: Setup Rust toolchain and cache
       uses: actions-rust-lang/setup-rust-toolchain@v1
       with:
-        toolchain: 1.81
+        toolchain: 1.83
         components: rustfmt,clippy
 
     - name: cargo fmt
@@ -44,7 +44,7 @@ jobs:
     - name: Setup Rust toolchain and cache
       uses: actions-rust-lang/setup-rust-toolchain@v1
       with:
-        toolchain: 1.81
+        toolchain: 1.83
 
     - name: default
       run: cargo test