From 4918427c9a9b730e4b518a04943ebb0db781334f Mon Sep 17 00:00:00 2001 From: Andrew Banchich Date: Mon, 13 May 2024 13:06:52 -0400 Subject: [PATCH] chore: update github CI rust toolchain to 1.78.0 --- .github/workflows/test_models_rust_tests.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test_models_rust_tests.yml b/.github/workflows/test_models_rust_tests.yml index 35a2f43e5..4b8a6b1c0 100644 --- a/.github/workflows/test_models_rust_tests.yml +++ b/.github/workflows/test_models_rust_tests.yml @@ -77,7 +77,7 @@ jobs: - name: Set up Rust uses: actions-rust-lang/setup-rust-toolchain@v1 with: - toolchain: "1.74.1" + toolchain: "1.78.0" rustflags: "" - name: Generate Polymorph Dafny