diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index d4e9c6c6..3fadfa5a 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -40,7 +40,7 @@ jobs:
         path: ./malachite
 
     - name: Install Rust 1.95.0
-      uses: dtolnay/rust-toolchain@1.95.0
+      uses: dtolnay/rust-toolchain@1.100.0
 
     - name: Cache cargo registry + target
       uses: Swatinem/rust-cache@v2
diff --git a/.github/workflows/verify-impl.yml b/.github/workflows/verify-impl.yml
index f06bb08f..c49740a0 100644
--- a/.github/workflows/verify-impl.yml
+++ b/.github/workflows/verify-impl.yml
@@ -32,7 +32,7 @@ jobs:
           path: ./malachite
 
       - name: Install Rust 1.95.0
-        uses: dtolnay/rust-toolchain@1.95.0
+        uses: dtolnay/rust-toolchain@1.100.0
         with:
           components: rustfmt, llvm-tools-preview