tenant.openagents/omega

1interface github {
2    /// A GitHub release.
3    record github-release {
4        /// The version of the release.
5        version: string,
6        /// The list of assets attached to the release.
7        assets: list<github-release-asset>,
8    }
9
10    /// An asset from a GitHub release.
11    record github-release-asset {
12        /// The name of the asset.
13        name: string,
14        /// The download URL for the asset.
15        download-url: string,
16    }
17
18    /// The options used to filter down GitHub releases.
19    record github-release-options {
20        /// Whether releases without assets should be included.
21        require-assets: bool,
22        /// Whether pre-releases should be included.
23        pre-release: bool,
24    }
25
26    /// Returns the latest release for the given GitHub repository.
27    ///
28    /// Takes repo as a string in the form "<owner-name>/<repo-name>", for example: "zed-industries/zed".
29    latest-github-release: func(repo: string, options: github-release-options) -> result<github-release, string>;
30
31    /// Returns the GitHub release with the specified tag name for the given GitHub repository.
32    ///
33    /// Returns an error if a release with the given tag name does not exist.
34    github-release-by-tag-name: func(repo: string, tag: string) -> result<github-release, string>;
35}
36