Check awaiting-mathlib label

fix: behavior of hard line breaks in `Format` strings #4798

Sign in to view logs

Triggered via pull request May 23, 2025 22:44

jrr6

synchronize #8457

jrr6:format-new-line

Status Success

Total duration 12s

Artifacts –

awaiting-mathlib.yml

on: pull_request

check-awaiting-mathlib