Lint PR

Lint PR #75

Sign in to view logs

Triggered via merge group December 10, 2025 12:17

pan-kot

Status Success

Total duration 6s

Artifacts –

lint-pr.yml

on: merge_group

dry-run / Validate PR title