Maintainer merge (comment)

[Merged by Bors] - fix: rewrite update_dependencies_zulip action #51609

Sign in to view logs

Triggered via issue July 10, 2024 22:25

mathlib-bors[bot]

commented on #14630 fdc4c84

Status Skipped

Total duration 2s

Artifacts –

maintainer_merge_comment.yml

on: issue_comment

Ping maintainers on Zulip