2022-11-24 05:14:29 -08:00
|
|
|
name: Pre-commit checks
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
pull_request:
|
|
|
|
|
push:
|
|
|
|
|
branches: [main]
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
pre-commit:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
2023-09-13 01:33:26 -07:00
|
|
|
- uses: actions/checkout@v3
|
|
|
|
|
with:
|
|
|
|
|
# Need to grab the history of the PR
|
|
|
|
|
fetch-depth: 0
|
2022-11-24 05:14:29 -08:00
|
|
|
- uses: actions/setup-python@v2
|
|
|
|
|
- uses: actions-rs/toolchain@v1
|
|
|
|
|
with:
|
|
|
|
|
profile: minimal
|
2023-06-06 04:15:32 -07:00
|
|
|
toolchain: nightly-2023-03-01
|
2022-11-24 05:14:29 -08:00
|
|
|
components: rustfmt, clippy
|
2023-07-27 03:16:02 -07:00
|
|
|
- uses: actions-rs/toolchain@v1
|
|
|
|
|
with:
|
|
|
|
|
profile: minimal
|
|
|
|
|
toolchain: nightly-2023-07-23
|
|
|
|
|
components: rustfmt, clippy
|
2023-09-13 01:33:26 -07:00
|
|
|
- uses: pre-commit/action@v3.0.0
|
|
|
|
|
if: ${{ github.event_name == 'pull_request' }}
|
|
|
|
|
with:
|
|
|
|
|
# Run only on files changed in the PR
|
|
|
|
|
extra_args: --from-ref ${{ github.event.pull_request.base.sha }} --to-ref ${{ github.event.pull_request.head.sha }}
|
|
|
|
|
- uses: pre-commit/action@v3.0.0
|
|
|
|
|
if: ${{ github.event_name != 'pull_request' }}
|
