eldritch horrors
fdfeef8ad4
retries don't help us very much, in fact they mostly hurt by repeating builds that failed for non-transient reasons. retries could help with workers dropping while running a build, but those rare cases are better to restart manually than to pend at least twice the ci time for commits that simply do not build cleanly. |
||
---|---|---|
.. | ||
__init__.py | ||
github_projects.py | ||
worker.py |