Increase the retry from 3 to 5, work-around for conda http errors #30
copy-pr-bot[bot]pr.yaml
on: push
Prepare
30s
Matrix: CI Pipeline / Build
checks
/
other-checks
38s
checks
/
check-style
58s
CI Pipeline
/
Check
9m 24s
CI Pipeline
/
Code Coverage
39m 4s
Matrix: CI Pipeline / Test
CI Pipeline
/
Documentation
9m 3s
CI Pipeline
/
Benchmark
9m 45s
pr-builder
/
run
Annotations
7 errors
|
CI Pipeline / Documentation
Process completed with exit code 1.
|
|
CI Pipeline / Test (gcc)
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/427' exists
|
|
CI Pipeline / Test (gcc)
The operation was canceled.
|
|
CI Pipeline / Code Coverage
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/427' exists
|
|
CI Pipeline / Code Coverage
The operation was canceled.
|
|
CI Pipeline / Test (clang)
Canceling since a higher priority waiting request for 'Build pull request @ refs/heads/pull-request/427' exists
|
|
CI Pipeline / Test (clang)
The operation was canceled.
|