Add "ready-to-merge" and "delegated" label from comment

feat(MeasureTheory/Integral/linearRieszMarkovKakutani) prove that the Riesz content is indeed a content for `NNReal` #65479

Sign in to view logs

Triggered via issue November 18, 2024 14:12

sgouezel

commented on #18775 a0408b3

Status Skipped

Total duration 3s

Artifacts –

add_label_from_comment.yml

on: issue_comment

Add ready-to-merge label

Add delegated label