lint and suggest

chore: adaptations for nightly-2026-01-30 #395

Sign in to view logs

Triggered via pull request January 30, 2026 10:27

leanprover-community-bot-assistant

opened #168

bump/nightly-2026-01-30

Status Skipped

Total duration 1s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Lint and suggest