Skip to content

Conversation

andersk
Copy link
Member

@andersk andersk commented Sep 30, 2025

Signed-off-by: Anders Kaseorg <anders@zulip.com>
@andersk andersk force-pushed the ci-jammy branch 2 times, most recently from 6d4ec4c to 1393e07 Compare September 30, 2025 20:51
@andersk andersk marked this pull request as ready for review September 30, 2025 20:51
@andersk andersk merged commit af9753d into zulip:main Sep 30, 2025
27 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants