diff --git a/src/tools/ci/README b/src/tools/ci/README index b650057634..6c1cac858f 100644 --- a/src/tools/ci/README +++ b/src/tools/ci/README @@ -37,6 +37,10 @@ repository will automatically trigger CI builds. These are visible from the commit history / PRs, and can also be viewed in the cirrus-ci UI at https://cirrus-ci.com/github/// +Hint: all build log files are uploaded to cirrus-ci and can be downloaded +from the "Artifacts" section fron the cirrus-ci UI after clicking into a +specific task on a build's summary page. + Images used for CI ==================