2020-01-21 12:46:53 +00:00
|
|
|
name: Clippy Dev Test
|
|
|
|
|
|
|
|
on:
|
|
|
|
push:
|
2020-02-12 10:02:07 +00:00
|
|
|
branches:
|
|
|
|
- auto
|
|
|
|
- try
|
2020-01-21 12:46:53 +00:00
|
|
|
pull_request:
|
2020-02-04 17:42:45 +00:00
|
|
|
# Only run on paths, that get checked by the clippy_dev tool
|
2020-01-21 12:46:53 +00:00
|
|
|
paths:
|
2020-04-16 11:51:37 +00:00
|
|
|
- 'CHANGELOG.md'
|
2020-01-21 12:46:53 +00:00
|
|
|
- 'README.md'
|
|
|
|
- '**.stderr'
|
|
|
|
- '**.rs'
|
|
|
|
|
|
|
|
env:
|
|
|
|
RUST_BACKTRACE: 1
|
2022-10-13 12:33:04 +00:00
|
|
|
CARGO_INCREMENTAL: 0
|
2020-01-21 12:46:53 +00:00
|
|
|
|
|
|
|
jobs:
|
|
|
|
clippy_dev:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
|
|
|
steps:
|
2020-02-07 21:24:41 +00:00
|
|
|
# Setup
|
2020-12-10 07:53:27 +00:00
|
|
|
- name: Checkout
|
2023-12-26 23:43:16 +00:00
|
|
|
uses: actions/checkout@v4
|
2020-12-10 07:53:27 +00:00
|
|
|
|
2020-02-07 21:24:41 +00:00
|
|
|
# Run
|
2020-01-21 12:46:53 +00:00
|
|
|
- name: Build
|
|
|
|
run: cargo build --features deny-warnings
|
|
|
|
working-directory: clippy_dev
|
2020-02-07 21:24:41 +00:00
|
|
|
|
2020-01-21 12:46:53 +00:00
|
|
|
- name: Test update_lints
|
|
|
|
run: cargo dev update_lints --check
|
2020-02-07 21:24:41 +00:00
|
|
|
|
2020-01-21 12:46:53 +00:00
|
|
|
- name: Test fmt
|
|
|
|
run: cargo dev fmt --check
|
2020-02-04 16:33:50 +00:00
|
|
|
|
2022-03-01 10:10:01 +00:00
|
|
|
- name: Test cargo dev new lint
|
|
|
|
run: |
|
|
|
|
cargo dev new_lint --name new_early_pass --pass early
|
|
|
|
cargo dev new_lint --name new_late_pass --pass late
|
|
|
|
cargo check
|
|
|
|
git reset --hard HEAD
|
|
|
|
|
2020-02-04 16:33:50 +00:00
|
|
|
# These jobs doesn't actually test anything, but they're only used to tell
|
|
|
|
# bors the build completed, as there is no practical way to detect when a
|
|
|
|
# workflow is successful listening to webhooks only.
|
|
|
|
#
|
|
|
|
# ALL THE PREVIOUS JOBS NEED TO BE ADDED TO THE `needs` SECTION OF THIS JOB!
|
|
|
|
|
|
|
|
end-success:
|
|
|
|
name: bors dev test finished
|
|
|
|
if: github.event.pusher.name == 'bors' && success()
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
needs: [clippy_dev]
|
|
|
|
|
|
|
|
steps:
|
|
|
|
- name: Mark the job as successful
|
|
|
|
run: exit 0
|
|
|
|
|
|
|
|
end-failure:
|
|
|
|
name: bors dev test finished
|
|
|
|
if: github.event.pusher.name == 'bors' && (failure() || cancelled())
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
needs: [clippy_dev]
|
|
|
|
|
|
|
|
steps:
|
|
|
|
- name: Mark the job as a failure
|
|
|
|
run: exit 1
|