feat: update insider.json when manual build is ok (#1234)

This commit is contained in:
Baptiste Augrain 2022-09-04 20:50:52 +02:00 committed by GitHub
parent b8acee21ca
commit 37210e8499
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 2 deletions

View File

@ -55,6 +55,10 @@ rm -rf vscode* VSCode*
. get_repo.sh . get_repo.sh
. build.sh . build.sh
if [[ "${VSCODE_QUALITY}" == "insider" && "${VSCODE_LATEST}" == "yes" ]]; then
echo "$( cat "insider.json" | jq --arg 'tag' "${MS_TAG/\-insider/}" --arg 'commit' "${MS_COMMIT}" '. | .tag=$tag | .commit=$commit' )" > "insider.json"
fi
if [[ "${SKIP_PACKAGES}" == "no" ]]; then if [[ "${SKIP_PACKAGES}" == "no" ]]; then
if [[ "${OS_NAME}" == "windows" ]]; then if [[ "${OS_NAME}" == "windows" ]]; then
rm -rf build/windows/msi/releasedir rm -rf build/windows/msi/releasedir

View File

@ -1,4 +1,4 @@
{ {
"tag": "1.71.0", "tag": "1.72.0",
"commit": "078f8e986d44de2c88f1f52bf63cecb2f8ec2560" "commit": "c4722f1bb292284e0437eb7547808a5788fe6430"
} }