workflows: Upgrade GitHub actions, restrict GitHub permissions#134
Merged
andersk merged 2 commits intozulip:mainfrom Dec 9, 2025
Merged
workflows: Upgrade GitHub actions, restrict GitHub permissions#134andersk merged 2 commits intozulip:mainfrom
andersk merged 2 commits intozulip:mainfrom