Repository navigation

Lint

chore(deps): update micrometer-metrics/micrometer digest to b1b0dbf #1897

	---
	name: Lint

	on:
	pull_request:

	permissions: {}

	jobs:
	lint:
	runs-on: ubuntu-26.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@2d8d4cafcbd33be2ea37d2b6f5ad595363d1f1ca # v5.1.1
	with:
	version: v2026.10.2
	sha256: 8f5f6660336f572830e33cd9b378d3131e529a0d4c4f0c553776be90a1ba302a

	- 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