Zulip emoji CI status #40715
Triggered via workflow run
April 11, 2026 14:42
mathlib-bors[bot]
completed
fd68cd6
Status
Success
Total duration
31s
Artifacts
–
zulip_emoji_ci_status.yaml
on: workflow_run
update_ci_emoji
29s
Annotations
1 error
|
update_ci_emoji
Process completed with exit code 1.
|