Skip to content
.github/workflows/zulip_emoji_awaiting_author.yaml

refactor(Topology/UniformSpace/Completion): more descriptive names for α → Completion α #2974

Sign in to view logs

refactor(Topology/UniformSpace/Completion): more descriptive names for α → Completion α

refactor(Topology/UniformSpace/Completion): more descriptive names for α → Completion α #2974

Triggered via pull request January 6, 2025 20:28
@trivial1711trivial1711
unlabeled #20527
trivial1711-coeAddHom
Status Skipped
Total duration 3s
Artifacts –

zulip_emoji_awaiting_author.yaml

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