From 74ae89e6caf72f604fbcdd9be7d09038a2120a44 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 19 May 2021 10:57:38 +0200 Subject: [PATCH] over 'default' instead of 'override' (consistent with main build job) --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b99d8499d05d..889c584ba7c1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -93,7 +93,7 @@ jobs: run: bash ./ci.sh fmt: - name: Check formatting (ignored by bors) + name: check formatting (ignored by bors) runs-on: ubuntu-latest steps: - uses: actions/checkout@v2 @@ -102,7 +102,7 @@ jobs: with: toolchain: nightly components: rustfmt - override: true + default: true - name: Check formatting (miri) uses: actions-rs/cargo@v1 with: