GitHub is frequently down and this is causing many intermittent issues. For example, from today: https://cirrus-ci.com/task/5740122163904512?logs=ci#L398
Try to fix it with a retry.
ci: Add missing ${CI_RETRY_EXE} before curl #28296
pull maflcko wants to merge 1 commits into bitcoin:master from maflcko:2308-ci-curl-retry- changing 2 files +3 −3-
maflcko commented at 12:15 PM on August 18, 2023: member
-
ci: Add missing ${CI_RETRY_EXE} before curl fa968ef6a3
-
DrahtBot commented at 12:15 PM on August 18, 2023: contributor
<!--e57a25ab6845829454e8d69fc972939a-->
The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.
<!--021abf342d371248e50ceaed478a90ca-->
Reviews
See the guideline for information on the review process.
Type Reviewers ACK hebasto If your review is incorrectly listed, please react with 👎 to this comment and the bot will ignore it on the next update.
- DrahtBot added the label Tests on Aug 18, 2023
- hebasto approved
-
hebasto commented at 12:20 PM on August 18, 2023: member
ACK fa968ef6a32bb66ca9fa3b84807f1c960f6a9833
- fanquake merged this on Aug 18, 2023
- fanquake closed this on Aug 18, 2023
- maflcko deleted the branch on Aug 18, 2023
- Frank-GER referenced this in commit 73120a7fa4 on Sep 8, 2023
- bitcoin locked this on Aug 17, 2024
