diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/push.yml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 1f48264..93b6edb 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml | |||
@@ -28,12 +28,14 @@ jobs: | |||
28 | - name: Run cargo check | 28 | - name: Run cargo check |
29 | uses: actions-rs/cargo@v1 | 29 | uses: actions-rs/cargo@v1 |
30 | with: | 30 | with: |
31 | command: check --release | 31 | command: check |
32 | 32 | args: --release | |
33 | |||
33 | - name: Run Clippy | 34 | - name: Run Clippy |
34 | uses: actions-rs/cargo@v1 | 35 | uses: actions-rs/cargo@v1 |
35 | with: | 36 | with: |
36 | command: clippy --release | 37 | command: clippy |
38 | args: --release | ||
37 | 39 | ||
38 | build: | 40 | build: |
39 | runs-on: ubuntu-latest | 41 | runs-on: ubuntu-latest |