---

name: Lint

on:

pull_request:

permissions: {}

jobs:

lint:

runs-on: ubuntu-24.04

permissions:

contents: read

steps:

- name: Checkout code

uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

with:

persist-credentials: false

fetch-depth: 0 # needed for git diff --merge-base in lint:links

- name: Setup mise

uses: jdx/mise-action@c2a87611a18de5b3828c5652fe268e992400cb5c # v4.3.0

with:

version: v2026.9.7

sha256: d479d7c0df37652ddfd6d1887ef92a67a17effc7ec4ac612f46845099f814c6f

- name: Lint

env:

GITHUB_TOKEN: ${{ github.token }}

GITHUB_REPOSITORY: ${{ github.repository }}

GITHUB_BASE_REF: ${{ github.base_ref }}

GITHUB_HEAD_REF: ${{ github.head_ref }}

PR_HEAD_REPO: ${{ github.event.pull_request.head.repo.full_name }}

run: mise run lint

- name: Test benchmark tooling

run: |

for test_file in .mise/tasks/test_*.py; do

python3 -B "$test_file"

done