.github/workflows/zulip_emoji_awaiting_author.yaml

[Merged by Bors] - doc(Algebra/Lie/Weights/Basic): fix typo #2716

Sign in to view logs

Summary
Jobs
- set_pr_emoji
Run details
- Usage
- Workflow file

Triggered via pull request January 3, 2025 18:41

leanprover-community-mathlib4-bot

labeled #20450

jcommelin-patch-1

Status Skipped

Total duration 2s

Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request