Fix deployment by downloading lang_docs with curl instead of typescript #100
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The download of the lang_docs zip packages with typescript suddenly started failing and we couldn't figure out why. The download itself succeeded, while the downloaded files were empty.
To work around the issue, the downloading script now uses curl to do the actual download. Typescript is still used to generate the curl command line, as the information for the download is only available in typescript.