rust/src/ci
Mark Rousskov 9c7f4f4814 Use a different server for checking clock drift
The detectportal.firefox.com server seems to return a random-ish date; for
example I see the following across 5 curl's done consecutively locally, where
the real date is approximaly 15 Nov 2021 06:36 UTC.

Date: Mon, 15 Nov 2021 13:34:53 GMT
Date: Mon, 15 Nov 2021 12:20:21 GMT
Date: Mon, 15 Nov 2021 00:06:47 GMT
Date: Mon, 15 Nov 2021 17:14:33 GMT
Date: Mon, 15 Nov 2021 13:33:21 GMT
2021-11-15 13:35:06 -05:00
..
azure-pipelines ci: stop running macOS builds on Azure Pipelines 2020-10-02 16:15:05 +02:00
docker Change paths for dist command to match the components they generate 2021-11-13 07:28:37 -06:00
github-actions Change paths for dist command to match the components they generate 2021-11-13 07:28:37 -06:00
scripts Selecting the Xcode version no longer needed with the macos-11 runners. 2021-10-14 06:10:07 +02:00
channel move the current channel to src/ci/channel 2021-05-06 17:11:12 +02:00
cpu-usage-over-time.py migrate cpu-usage-over-time.py to python 3 2021-07-06 16:34:51 +02:00
init_repo.sh Fix CI to fetch master on beta channel 2021-06-20 16:20:08 -04:00
pgo.sh Move LLVM profiling to a separate phase of compilation 2021-10-14 15:21:14 -04:00
publish_toolstate.sh more toolstate comments 2020-03-04 08:30:26 -08:00
run.sh Use a different server for checking clock drift 2021-11-15 13:35:06 -05:00
shared.sh Use HTTPS links where possible 2021-06-23 16:26:46 -04:00