Lint

Better handling of autorevert labels #12582

Sign in to view logs

Triggered via pull request January 30, 2026 20:25

jeanschmidt

synchronize #7711

jeanschmidt/better_autorever_labels

Status Success

Total duration 2m 7s

Artifacts –

lint.yml

on: pull_request

Matrix: lintrunner