.github/workflows/zulip_emoji_awaiting_author.yaml

[Merged by Bors] - feat(Complex): `reProdIm` lemmas #1519

Sign in to view logs

Summary
Jobs
- set_pr_emoji
Run details
- Usage
- Workflow file

Triggered via pull request December 18, 2024 17:37

leanprover-community-mathlib4-bot

labeled #19709

re_prod_im_nonempty

Status Skipped

Total duration 1s

Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request