Skip to content

ci: Fix failing Ubuntu 22.04 job#878

Merged
andersk merged 1 commit intozulip:mainfrom
andersk:ci-jammy
Sep 30, 2025
Merged

ci: Fix failing Ubuntu 22.04 job#878
andersk merged 1 commit intozulip:mainfrom
andersk:ci-jammy

Commits

Commits on Sep 30, 2025