Run pre-commit and in-place update PR on push

chore: adaptations for nightly-2026-01-09 #2717

Sign in to view logs

Triggered via pull request January 9, 2026 10:33

leanprover-community-bot-assistant

opened #159

bump/nightly-2026-01-09

Status Success

Total duration 20s

Artifacts –

pre-commit.yml

on: pull_request