Check awaiting-mathlib label

fix: goto-definition for binrel% operators #18313

Sign in to view logs

Triggered via pull request December 9, 2025 08:32

alok

opened #11558

alok:fix-binrel-goto-def

Status Success

Total duration 11s

Artifacts –

awaiting-mathlib.yml

on: pull_request

check-awaiting-mathlib