diff --git a/.github/workflows/benches.yml b/.github/workflows/benches.yml index 24924d043d..15f4f94f22 100644 --- a/.github/workflows/benches.yml +++ b/.github/workflows/benches.yml @@ -7,7 +7,7 @@ on: env: OCAML_VERSION: "4.14.0" - RUST_TOOLCHAIN_VERSION: "1.71" + RUST_TOOLCHAIN_VERSION: "1.74" jobs: bench: diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 09b91f2ab9..25cbfd9848 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -24,7 +24,7 @@ jobs: runs-on: ubuntu-latest strategy: matrix: - rust_toolchain_version: ["1.72"] + rust_toolchain_version: ["1.74"] steps: - name: Checkout repository uses: actions/checkout@v4 @@ -73,7 +73,7 @@ jobs: RUST_TOOLCHAIN_COVERAGE_VERSION: "1.74" strategy: matrix: - rust_toolchain_version: ["1.71", "1.72", "1.73", "1.74"] + rust_toolchain_version: ["1.72", "1.73", "1.74"] # FIXME: currently not available for 5.0.0. # It might be related to boxroot dependency, and we would need to bump # up the ocaml-rs dependency diff --git a/.github/workflows/gh-page.yml b/.github/workflows/gh-page.yml index 6e9b3386b9..af3c3f18d3 100644 --- a/.github/workflows/gh-page.yml +++ b/.github/workflows/gh-page.yml @@ -8,7 +8,7 @@ env: OCAML_VERSION: "4.14.0" # This version has been chosen randomly. It seems that with 2023-11-16, it is # broken. The compiler crashes. Feel free to pick any newer working version. - RUST_TOOLCHAIN_VERSION: "1.72" + RUST_TOOLCHAIN_VERSION: "1.74" jobs: release: diff --git a/rust-toolchain b/rust-toolchain deleted file mode 100644 index cc31fcd4f5..0000000000 --- a/rust-toolchain +++ /dev/null @@ -1 +0,0 @@ -1.72 diff --git a/rust-toolchain.toml b/rust-toolchain.toml new file mode 100644 index 0000000000..76d889104f --- /dev/null +++ b/rust-toolchain.toml @@ -0,0 +1,3 @@ +[toolchain] +channel = "1.74" +