Skip to content
Add "closed-pr" emoji in Zulip

feat: add closed and compact corollaries of Lusin's theorem #5

Sign in to view logs

feat: add closed and compact corollaries of Lusin's theorem

feat: add closed and compact corollaries of Lusin's theorem #5

Triggered via pull request April 25, 2026 17:37
@CoolRmalCoolRmal
closed #5
Status Skipped
Total duration 1s
Artifacts –

zulip_emoji_closed_pr.yaml

on: pull_request_target
Add closed-pr emoji in Zulip
0s
Add closed-pr emoji in Zulip
Fit to window
Zoom out
Zoom in