Skip to content
Correctness checks and linting

Update Example Docs #177

Sign in to view logs

Update Example Docs

Update Example Docs #177

Workflow file for this run

.github/workflows/correctness.yml at fada2b6
name: "Correctness checks and linting"
on:
push:
branches: ["main"]
pull_request:
types: [opened, synchronize, reopened]
workflow_dispatch:
workflow_call:
inputs:
workflow:
required: true
type: string
env:
REV: ${{ github.run_id }}
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}-${{ inputs.workflow }}
cancel-in-progress: true
jobs:
fmt:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: ./.github/actions/setup
- name: Check formatting
run: cargo make check-fmt
clippy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: ./.github/actions/setup
- name: Run clippy
run: cargo make clippy
machete:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: ./.github/actions/setup
- name: Check dependency usage
run: cargo make machete
check:
strategy:
matrix:
runner:
- ubuntu-latest
- ubuntu2404-arm64-4core
runs-on: ${{ matrix.runner }}
steps:
- uses: actions/checkout@v4
- name: Setup Environment
uses: ./.github/actions/setup
- name: Check Features
run: cargo make check-features