Skip to content

workflows: Upgrade GitHub actions#2023

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

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

Commits

Commits on Dec 11, 2025