Skip to content
Label New Contributors

[Merged by Bors] - feat (Category Theory): redefine and extend mates #19955

Sign in to view logs

[Merged by Bors] - feat (Category Theory): redefine and extend mates

[Merged by Bors] - feat (Category Theory): redefine and extend mates #19955

Triggered via pull request July 10, 2024 07:53
@emilyriehlemilyriehl
synchronize #13840
mates
Status Success
Total duration 10s
Artifacts –

label_new_contributor.yml

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