mirror of
https://github.com/zed-industries/zed.git
synced 2025-02-06 02:37:21 +00:00
98a2ab0686
This PR changes v0.0.7 of the extension API to v0.1.0. We had a false-start in releasing v0.0.7, which has since been yanked, so we need a new version number. We'll publish v0.1.0 to crates.io once the Preview build is out tomorrow. We're incrementing the minor version so that we have some leeway in putting out patch releases of the crate within a given extension API release. Release Notes: - N/A
33 lines
1.2 KiB
Text
33 lines
1.2 KiB
Text
interface github {
|
|
/// A GitHub release.
|
|
record github-release {
|
|
/// The version of the release.
|
|
version: string,
|
|
/// The list of assets attached to the release.
|
|
assets: list<github-release-asset>,
|
|
}
|
|
|
|
/// An asset from a GitHub release.
|
|
record github-release-asset {
|
|
/// The name of the asset.
|
|
name: string,
|
|
/// The download URL for the asset.
|
|
download-url: string,
|
|
}
|
|
|
|
/// The options used to filter down GitHub releases.
|
|
record github-release-options {
|
|
/// Whether releases without assets should be included.
|
|
require-assets: bool,
|
|
/// Whether pre-releases should be included.
|
|
pre-release: bool,
|
|
}
|
|
|
|
/// Returns the latest release for the given GitHub repository.
|
|
latest-github-release: func(repo: string, options: github-release-options) -> result<github-release, string>;
|
|
|
|
/// Returns the GitHub release with the specified tag name for the given GitHub repository.
|
|
///
|
|
/// Returns an error if a release with the given tag name does not exist.
|
|
github-release-by-tag-name: func(repo: string, tag: string) -> result<github-release, string>;
|
|
}
|