zig: Temporarily roll back changes depending on new extension API (#13709)
This PR temporarily rolls back the changes in #12173 so that we can publish a new version of the Zig extension. There was a problem stemming from #12614 that caused v0.1.2 of the Zig extension to get re-published with unreleased `zed_extension_api` changes. Once we publish v0.1.3 we'll be able to revert this change. Release Notes: - N/A
This commit is contained in:
parent
0e60730742
commit
464a4439f7
3 changed files with 11 additions and 3 deletions
2
Cargo.lock
generated
2
Cargo.lock
generated
|
@ -13891,7 +13891,7 @@ dependencies = [
|
||||||
name = "zed_zig"
|
name = "zed_zig"
|
||||||
version = "0.1.2"
|
version = "0.1.2"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"zed_extension_api 0.0.7",
|
"zed_extension_api 0.0.6",
|
||||||
]
|
]
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
|
|
|
@ -13,4 +13,4 @@ path = "src/zig.rs"
|
||||||
crate-type = ["cdylib"]
|
crate-type = ["cdylib"]
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
zed_extension_api = { path = "../../crates/extension_api" }
|
zed_extension_api = "0.0.6"
|
||||||
|
|
|
@ -43,7 +43,15 @@ impl ZigExtension {
|
||||||
// them, at time of writing.
|
// them, at time of writing.
|
||||||
//
|
//
|
||||||
// ZLS tracking issue: https://github.com/zigtools/zls/issues/1879
|
// ZLS tracking issue: https://github.com/zigtools/zls/issues/1879
|
||||||
let release = zed::github_release_by_tag_name("zigtools/zls", "0.11.0")?;
|
// let release = zed::github_release_by_tag_name("zigtools/zls", "0.11.0")?;
|
||||||
|
|
||||||
|
let release = zed::latest_github_release(
|
||||||
|
"zigtools/zls",
|
||||||
|
zed::GithubReleaseOptions {
|
||||||
|
require_assets: true,
|
||||||
|
pre_release: false,
|
||||||
|
},
|
||||||
|
)?;
|
||||||
|
|
||||||
let (platform, arch) = zed::current_platform();
|
let (platform, arch) = zed::current_platform();
|
||||||
let asset_name = format!(
|
let asset_name = format!(
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue