.github/workflows/zulip_emoji_awaiting_author.yaml

[Merged by Bors] - doc(docs/1000.yaml): add Szpilrajn theorem #16222

Sign in to view logs

Triggered via pull request May 1, 2025 14:27

ghost

unlabeled #24505

vasnesterov/1000_Szpilrajn

Status Skipped

Total duration 1s

Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request