Skip to content

workflows: Upgrade GitHub actions#892

Merged
andersk merged 1 commit intozulip:mainfrom
andersk:upgrade-actions
Dec 8, 2025
Merged

workflows: Upgrade GitHub actions#892
andersk merged 1 commit intozulip:mainfrom
andersk:upgrade-actions

Commits

Commits on Dec 8, 2025