Skip to content
Label New Contributors

[Merged by Bors] - chore: delete unused private lemma in Complex/exponential #46463

Sign in to view logs

[Merged by Bors] - chore: delete unused private lemma in Complex/exponential

[Merged by Bors] - chore: delete unused private lemma in Complex/exponential #46463

Triggered via pull request November 19, 2024 19:47
@ChrisHughes24ChrisHughes24
opened #19263
expCHDelete
Status Success
Total duration 13s
Artifacts –

label_new_contributor.yml

on: pull_request
label-and-report-new-contributor
5s
label-and-report-new-contributor
Fit to window
Zoom out
Zoom in