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

Update versions & tiny-solver benches

Author: contagon

.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