diff --git a/extensions/ql-vscode/src/codeql-cli/distribution.ts b/extensions/ql-vscode/src/codeql-cli/distribution.ts index 88789df20..360dd0d55 100644 --- a/extensions/ql-vscode/src/codeql-cli/distribution.ts +++ b/extensions/ql-vscode/src/codeql-cli/distribution.ts @@ -27,6 +27,7 @@ import { } from "../common/logging"; import { unzipToDirectoryConcurrently } from "../common/unzip-concurrently"; import { reportUnzipProgress } from "../common/vscode/unzip-progress"; +import { Release, ReleaseAsset } from "./release"; /** * distribution.ts @@ -906,48 +907,6 @@ function warnDeprecatedLauncher() { ); } -/** - * A release on GitHub. - */ -interface Release { - assets: ReleaseAsset[]; - - /** - * The creation date of the release on GitHub. - */ - createdAt: string; - - /** - * The id associated with the release on GitHub. - */ - id: number; - - /** - * The name associated with the release on GitHub. - */ - name: string; -} - -/** - * An asset corresponding to a release on GitHub. - */ -interface ReleaseAsset { - /** - * The id associated with the asset on GitHub. - */ - id: number; - - /** - * The name associated with the asset on GitHub. - */ - name: string; - - /** - * The size of the asset in bytes. - */ - size: number; -} - /** * The json returned from github for a release. */ diff --git a/extensions/ql-vscode/src/codeql-cli/release.ts b/extensions/ql-vscode/src/codeql-cli/release.ts new file mode 100644 index 000000000..5da5abbb0 --- /dev/null +++ b/extensions/ql-vscode/src/codeql-cli/release.ts @@ -0,0 +1,41 @@ +/** + * A release on GitHub. + */ +export interface Release { + assets: ReleaseAsset[]; + + /** + * The creation date of the release on GitHub. + */ + createdAt: string; + + /** + * The id associated with the release on GitHub. + */ + id: number; + + /** + * The name associated with the release on GitHub. + */ + name: string; +} + +/** + * An asset corresponding to a release on GitHub. + */ +export interface ReleaseAsset { + /** + * The id associated with the asset on GitHub. + */ + id: number; + + /** + * The name associated with the asset on GitHub. + */ + name: string; + + /** + * The size of the asset in bytes. + */ + size: number; +}