fixes

yoav-lavi · Jul 16, 2023 · d16ceb3 · d16ceb3
1 parent 3518f9f
commit d16ceb3
Show file tree

Hide file tree

Showing 4 changed files with 17 additions and 2 deletions.
diff --git a/.github/workflows/clippy.yml b/.github/workflows/clippy.yml
@@ -7,9 +7,8 @@ jobs:
       - uses: actions/checkout@v1
       - uses: actions-rs/toolchain@v1
         with:
-          toolchain: nightly
+          toolchain: stable
           components: clippy
-          override: true
       - uses: actions-rs/clippy-check@v1
         with:
           token: ${{ secrets.GITHUB_TOKEN }}

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -12,6 +12,12 @@ jobs:
       - name: checkout repository
         uses: actions/checkout@v2
 
+      - name: Install latest stable
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: stable
+          components: rustfmt, clippy
+
       - name: generate code coverage
         run: |
           cargo +nightly tarpaulin --verbose --all-features --workspace --timeout 120 --out Xml --exclude xtask

diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
@@ -6,6 +6,11 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
+      - name: Install latest stable
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: stable
+          components: rustfmt, clippy
       - name: install miri
         run: |
           rustup toolchain install nightly --component miri

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -15,6 +15,11 @@ jobs:
 
     steps:
       - uses: actions/checkout@v2
+      - name: Install latest stable
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: stable
+          components: rustfmt, clippy
       - name: build
         run: cargo build --verbose
       - name: run tests