zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #188 from zcash/clippy-beta 

CI updates
This commit is contained in:
ebfull 2021-02-15 09:07:37 -07:00 committed by GitHub
parent 22297bbc89 7d81971079
commit 89b007336a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
.github/workflows/ci.yml vendored
View File

@ -103,8 +103,8 @@ jobs:
token: ${{ secrets.GITHUB_TOKEN }} token: ${{ secrets.GITHUB_TOKEN }}
args: --all-features --all-targets -- -D warnings args: --all-features --all-targets -- -D warnings
clippy-nightly: clippy-beta:
name: Clippy (nightly) name: Clippy (beta)
timeout-minutes: 30 timeout-minutes: 30
runs-on: ubuntu-latest runs-on: ubuntu-latest
continue-on-error: true continue-on-error: true
@ -113,14 +113,14 @@ jobs:
- uses: actions/checkout@v2 - uses: actions/checkout@v2
- uses: actions-rs/toolchain@v1 - uses: actions-rs/toolchain@v1
with: with:
toolchain: nightly toolchain: beta
components: clippy components: clippy
override: true override: true
- name: Run Clippy (nightly) - name: Run Clippy (beta)
uses: actions-rs/clippy-check@v1 uses: actions-rs/clippy-check@v1
continue-on-error: true continue-on-error: true
with: with:
name: Clippy (nightly) name: Clippy (beta)
token: ${{ secrets.GITHUB_TOKEN }} token: ${{ secrets.GITHUB_TOKEN }}
args: --all-features --all-targets -- -W clippy::all args: --all-features --all-targets -- -W clippy::all
@ -158,7 +158,7 @@ jobs:
- uses: actions/checkout@v2 - uses: actions/checkout@v2
- uses: actions-rs/toolchain@v1 - uses: actions-rs/toolchain@v1
with: with:
toolchain: nightly toolchain: stable
override: true override: true
- name: cargo fetch - name: cargo fetch
uses: actions-rs/cargo@v1 uses: actions-rs/cargo@v1