Fix post-merge issue from the old branch PR (#8590)
Follow-up of https://github.com/zed-industries/zed/pull/6924/files that
had old code in CI that worked, but fresh `main` had different code that
needed small changes.
Release Notes:
- N/A
953bc5eee2Kirill Bulatov committed on 2/29/2024, 9:46:00 AM· committed by GitHubparentc94852b