mirror of
https://github.com/logos-storage/plonky2.git
synced 2026-01-04 06:43:07 +00:00
Fix github CI
This commit is contained in:
parent
b3d246a7c5
commit
915f4eccc5
@ -30,7 +30,7 @@ jobs:
|
|||||||
args: --all
|
args: --all
|
||||||
|
|
||||||
lints:
|
lints:
|
||||||
name: Formatting
|
name: Formatting and Clippy
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')"
|
if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')"
|
||||||
steps:
|
steps:
|
||||||
@ -43,7 +43,7 @@ jobs:
|
|||||||
profile: minimal
|
profile: minimal
|
||||||
toolchain: nightly
|
toolchain: nightly
|
||||||
override: true
|
override: true
|
||||||
components: rustfmt
|
components: rustfmt, clippy
|
||||||
|
|
||||||
- name: Run cargo fmt
|
- name: Run cargo fmt
|
||||||
uses: actions-rs/cargo@v1
|
uses: actions-rs/cargo@v1
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user