lint and suggest

chore: adaptations for nightly-2026-02-01 #398

Sign in to view logs

Triggered via pull request February 1, 2026 22:39

leanprover-community-bot-assistant

opened #169

bump/nightly-2026-02-01

Status Skipped

Total duration –

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Lint and suggest