mirror of
https://github.com/zed-industries/zed.git
synced 2025-02-07 11:11:30 +00:00
3d5c023fda
This PR moves the collab deployment steps in CI back to the DigitalOcean runners temporarily, so that we can deploy collab. Release Notes: - N/A |
||
---|---|---|
.. | ||
actions | ||
ISSUE_TEMPLATE | ||
workflows | ||
cherry-pick-bot.yml | ||
pull_request_template.md |