From 56631b2f8dcc8e0c6ee19ce4ad37e0fd154ba057 Mon Sep 17 00:00:00 2001
From: Jay Bosamiya <jaybosamiya@gmail.com>
Date: Wed, 22 Jan 2025 10:28:13 -0800
Subject: [PATCH] CI updates

Remove unnecessary steps, and update to Rust version needed for latest
Verus.
---
 .github/workflows/verus.yml | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/.github/workflows/verus.yml b/.github/workflows/verus.yml
index 5efc68b..ff6a169 100644
--- a/.github/workflows/verus.yml
+++ b/.github/workflows/verus.yml
@@ -9,16 +9,9 @@ jobs:
       - name: checkout
         uses: actions/checkout@v4
 
-      - name: Install toolchain dependencies
-        shell: bash
-        run: |
-          curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --profile minimal --default-toolchain none -y
-          echo "${CARGO_HOME:-$HOME/.cargo}/bin" >> $GITHUB_PATH
-
       - name: Install Rust toolchain
         run: |
-          rustup update --no-self-update stable
-          rustup install 1.79.0-x86_64-unknown-linux-gnu
+          rustup install 1.82.0-x86_64-unknown-linux-gnu
 
       - name: Get the URL for the latest Verus release
         id: verus-release-info