Skip to content
Post PR summary comment

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

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 #5839

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

PR_summary.yml

on: pull_request
build
35s
build
Fit to window
Zoom out
Zoom in