.github/workflows/zulip_emoji_awaiting_author.yaml

feat: generalize `ContinuousLinearMap.curry` to TVS #2889

Sign in to view logs

Summary
Jobs
- set_pr_emoji
Run details
- Usage
- Workflow file

Triggered via pull request January 6, 2025 00:29

leanprover-community-bot-assistant

unlabeled #20354

eric-wieser/curry-continuity

Status Skipped

Total duration 1s

Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request