lint and suggest

chore: adaptations for nightly-2026-02-03 #401

Sign in to view logs

Triggered via pull request February 4, 2026 03:40

mathlib-nightly-testing[bot]

opened #172

bump/nightly-2026-02-03

Status Skipped

Total duration 1s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Lint and suggest