Skip to content
.github/workflows/zulip_emoji_labelling.yaml

[Merged by Bors] - feat: generalize some results for SupConvergenceClass to ConditionallyCompletePartialOrder{Sup,Inf} #41962

Sign in to view logs

[Merged by Bors] - feat: generalize some results for SupConvergenceClass to ConditionallyCompletePartialOrder{Sup,Inf}

[Merged by Bors] - feat: generalize some results for SupConvergenceClass to ConditionallyCompletePartialOrder{Sup,Inf} #41962

Triggered via pull request February 16, 2026 18:52
@j-loreauxj-loreaux
labeled #35050
Status Skipped
Total duration 1s
Artifacts –

zulip_emoji_labelling.yaml

on: pull_request_target
set_pr_emoji
set_pr_emoji
Fit to window
Zoom out
Zoom in
⚡