Update the CI to take the rust-toolchain file into account

2025-07-27 16:51:01 +00:00 · 2024-06-25 11:25:15 +02:00
parent ab6cac2321
commit 5c758438fc
15 changed files with 1 additions and 54 deletions
--- a/.github/workflows/benchmarks-push-indexing.yml
+++ b/.github/workflows/benchmarks-push-indexing.yml
@ -19,8 +19,6 @@ jobs:
      - uses: actions-rs/toolchain@v1
        with:
          profile: minimal
-          toolchain: stable
-          override: true

      # Set variables
      - name: Set current branch name