CI (Buildkite, code coverage): increase the value of `JULIA_WORKER_TIMEOUT` on the code coverage job#42193

Merged

DilumAluthge merged 1 commit intomasterfrom

dpa/ci-buildkite-coverage-worker-timeout

Sep 10, 2021

Commits on Sep 10, 2021

CI (Buildkite, code coverage): increase the value of `JULIA_WORKER_TIMEOUT` on the code coverage job
DilumAluthge
committed