.github/workflows/zulip_emoji_awaiting_author.yaml

feat: generalize `IsLUB.mem_of_not_isSuccPrelimit` to `LinearOrder` #2892

Sign in to view logs

Summary
Jobs
- set_pr_emoji
Run details
- Usage
- Workflow file

Triggered via pull request January 6, 2025 04:08

vihdzp

labeled #20502

vi.limitLemmas

Status Skipped

Total duration 3s

Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request