Merge pull request #283 from taiki-e/bors
Add GitHub Actions to the merge requirement of borspull/305/head
commit
d1fe965a0e
@ -1,20 +0,0 @@
|
|||||||
on: pull_request
|
|
||||||
|
|
||||||
name: Clippy check
|
|
||||||
jobs:
|
|
||||||
clippy_check:
|
|
||||||
runs-on: ubuntu-latest
|
|
||||||
steps:
|
|
||||||
- uses: actions/checkout@v1
|
|
||||||
- id: component
|
|
||||||
uses: actions-rs/components-nightly@v1
|
|
||||||
with:
|
|
||||||
component: clippy
|
|
||||||
- uses: actions-rs/toolchain@v1
|
|
||||||
with:
|
|
||||||
toolchain: ${{ steps.component.outputs.toolchain }}
|
|
||||||
override: true
|
|
||||||
- run: rustup component add clippy
|
|
||||||
- uses: actions-rs/clippy-check@v1
|
|
||||||
with:
|
|
||||||
token: ${{ secrets.GITHUB_TOKEN }}
|
|
Loading…
Reference in New Issue