Fix CI badge #137
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# yaml-language-server: $schema=https://json.schemastore.org/github-workflow | |
name: pre-commit | |
permissions: | |
contents: read | |
on: | |
pull_request: | |
push: | |
branches: | |
- "*" | |
workflow_dispatch: | |
env: | |
CARGO_TERM_COLOR: always | |
jobs: | |
run: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Setup Python | |
uses: actions/setup-python@v4 | |
with: | |
python-version: "3.x" | |
- name: Install Rust toolchain | |
uses: dtolnay/rust-toolchain@stable | |
with: | |
components: clippy, rustfmt | |
- name: Check out repository | |
uses: actions/checkout@v4 | |
- name: Generate Cargo.lock | |
run: cargo generate-lockfile | |
- name: Cache Rust toolchain and build artifacts | |
uses: Swatinem/rust-cache@v2 | |
with: | |
# The cache should not be shared between different workflows and jobs. | |
shared-key: ${{ github.workflow }}-${{ github.job }} | |
# Two jobs might share the same default target but have different build targets. | |
key: ${{ matrix.target }} | |
- name: Detect code style issues (push) | |
uses: pre-commit/[email protected] | |
if: github.event_name == 'push' | |
- name: Detect code style issues (pull_request) | |
uses: pre-commit/[email protected] | |
if: github.event_name == 'pull_request' | |
env: | |
SKIP: no-commit-to-branch |