fix: update zed_extension_api to 0.7.0 and set extension edition to 2024
#28
Conversation
`2024`. This will hopefully resolve zed-extensions#27 and allow the extension to publish a new version.
Signed-off-by: Stef Robbe <[email protected]>
|
🙏 that this fixes it! |
|
It did! zed-industries/extensions#4391 So far I've been making releases on Github as well, but it seems that this isn't necessary... |
|
That's great news! I'll report in the upstream issue too, so hopefully other extensions don't need to run into this problem in the future :) Yeah, it seems to work even without the releases. Though, a changelog or releases could be nice to document the major changes for each new extension version. It also makes it easier to know when a certain change was introduced. Given that we seem to get a Zed bot PR for every release, we might be able to generate changelog entries for all PRs since the latest release by the Zed bot. Not urgent, but could be worth looking into in the future. Though, as long as the extension is super simple like today, it's not as valuable as for a project with several modules and external dependencies where a lot of things could break. |
2 participants
This will hopefully resolve #27 and allow the extension to publish a new version.
Fix #27