Skip to content
.github/workflows/zulip_emoji_awaiting_author.yaml

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

Sign in to view logs

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

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

Triggered via pull request November 29, 2024 14:06
@mathlib4-update-dependencies-botmathlib4-update-dependencies-bot
labeled #19605
update-dependencies-bot-use-only
Status Skipped
Total duration 3s
Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request
set_pr_emoji
0s
set_pr_emoji
Fit to window
Zoom out
Zoom in