Skip to content
.github/workflows/zulip_emoji_labelling.yaml

[Merged by Bors] - chore(Order/BooleanAlgebra): golf entire diff_insert_of_notMem, insert_diff_of_mem, insert_diff_of_notMem and subset_insert_iff using grind #17369

Sign in to view logs

[Merged by Bors] - chore(Order/BooleanAlgebra): golf entire diff_insert_of_notMem, insert_diff_of_mem, insert_diff_of_notMem and subset_insert_iff using grind

[Merged by Bors] - chore(Order/BooleanAlgebra): golf entire diff_insert_of_notMem, insert_diff_of_mem, insert_diff_of_notMem and subset_insert_iff using grind #17369

Triggered via pull request September 8, 2025 16:22
@ghostghost
labeled #28628
Status Success
Total duration 11s
Artifacts –

zulip_emoji_labelling.yaml

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