.github/workflows/zulip_emoji_awaiting_author.yaml

[Merged by Bors] - chore: update Mathlib dependencies 2024-11-29 #37

Sign in to view logs

Summary
Jobs
- set_pr_emoji
Run details
- Usage
- Workflow file

Triggered via pull request November 29, 2024 15:47

leanprover-community-mathlib4-bot

labeled #19608

update-dependencies-bot-use-only

Status Skipped

Total duration 2s

Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request