d03e245e03
When setting up the CI environment, retry package installation 3 times before going up. Should help prevent spurious failures during infrastructure issues. |
||
---|---|---|
.. | ||
workflows | ||
ci-status.md | ||
configs | ||
configure.sh | ||
run_test.sh | ||
setup_ci.sh |