55 Commits

Author	SHA1	Message	Date
Bolek@DigitalAsset	2b5c25fa48	webide: build webide image when sdk releases (#1568) ... * webide: build webide image when sdk releases * add scripts which check the latest version of sdk. If webide docker image version does not exist or is older than the sdk version, it will kick off a build of the webide docker image * add job to azure cron * webide: minor response to review	2019-06-11 19:02:19 -04:00
Gary Verhaegen	c762d491ea	target s3 bucket with docs refresh script (#1287) ... There is no simple way to configure GCS to serve the desired security headers, so instead the script will keep updating the existing s3 bucket. Consequent changes: - Add aws cli tool to dev-env - Remove docs bucket from Terraform	2019-05-21 22:26:07 +00:00
Gary Verhaegen	3ff09d7d5e	show raw version number in docs dropdown (#1150)	2019-05-21 15:56:29 +00:00
Gary Verhaegen	8ae2ba014d	small tweaks to docs generation (#1126) ... - Set reasonable timeout. We want this to run once per hour, so it should never run for longer than that. - Fix gcp deploy command to target the right directory. That somehow got lost in the manual changes between the PR and what I was manually running on CI. - Keep the not-found page intact, so as to not break 404 responses. - Retry up to ten times to install nix packages, for each version. Nix package download can be a bit flaky, especially when we download large collections of packages (e.g. texlive), and Bazel is very unforgiving towards flaky nix downloads so instead we now preload all the packages before invokin Bazel.	2019-05-14 20:52:54 +00:00
Gary Verhaegen	91f2414ddb	build docs for all releases (#1116)	2019-05-14 12:25:02 +00:00