diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/pull_request.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index ed01e9e..d7eaaf3 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml | |||
| @@ -51,9 +51,11 @@ jobs: | |||
| 51 | - name: run cargo check | 51 | - name: run cargo check |
| 52 | uses: actions-rs/cargo@v1 | 52 | uses: actions-rs/cargo@v1 |
| 53 | with: | 53 | with: |
| 54 | command: check --release | 54 | command: check |
| 55 | args: --release | ||
| 55 | 56 | ||
| 56 | - name: run clippy | 57 | - name: run clippy |
| 57 | uses: actions-rs/cargo@v1 | 58 | uses: actions-rs/cargo@v1 |
| 58 | with: | 59 | with: |
| 59 | command: clippy --release | 60 | command: clippy |
| 61 | args: --release | ||