Execute a distribution check when changing the CLI channel

This commit is contained in:
Koen Vlaswinkel
2024-02-05 13:16:17 +01:00
parent bc4d74246a
commit e9c7331c29

View File

@@ -108,6 +108,7 @@ const DISTRIBUTION_CHANGE_SETTINGS = [
CUSTOM_CODEQL_PATH_SETTING,
INCLUDE_PRERELEASE_SETTING,
PERSONAL_ACCESS_TOKEN_SETTING,
CLI_CHANNEL_SETTING,
];
export type CLIChannel = "stable" | "nightly";