Skip to content
.github/workflows/zulip_emoji_awaiting_author.yaml

[Merged by Bors] - feat: Sum.inl and friends between smooth manifolds are smooth #7880

Sign in to view logs

[Merged by Bors] - feat: Sum.inl and friends between smooth manifolds are smooth

[Merged by Bors] - feat: Sum.inl and friends between smooth manifolds are smooth #7880

Triggered via pull request February 15, 2025 20:37
@sgouezelsgouezel
labeled #20664
MR-disjUnion-manifolds-3
Status Success
Total duration 16s
Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request
set_pr_emoji
8s
set_pr_emoji
Fit to window
Zoom out
Zoom in