mirror of
https://github.com/logos-storage/plonky2.git
synced 2026-01-02 13:53:07 +00:00
Tweaks to reflect that we're not running clippy
This commit is contained in:
parent
5513a64614
commit
d51bb98dcc
@ -30,7 +30,7 @@ jobs:
|
||||
args: --all
|
||||
|
||||
lints:
|
||||
name: Lints
|
||||
name: Formatting
|
||||
runs-on: ubuntu-latest
|
||||
if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')"
|
||||
steps:
|
||||
@ -43,7 +43,7 @@ jobs:
|
||||
profile: minimal
|
||||
toolchain: nightly
|
||||
override: true
|
||||
components: rustfmt, clippy
|
||||
components: rustfmt
|
||||
|
||||
- name: Run cargo fmt
|
||||
uses: actions-rs/cargo@v1
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user