Label PR based on Comment

fix: normalise `⊤` in `mvcgen'` #27221

Sign in to view logs

Triggered via issue June 18, 2026 08:17

mathlib-lean-pr-testing[bot]

commented on #14099 5822584

Status Skipped

Total duration 2s

Artifacts –

labels-from-comments.yml

on: issue_comment