Commit f592d8d
authored
GitHub CI: Make retrying on runner failure the default (#2621)
We used to specify retrying for by far most of the jobs, but it was
crucially missing on `nix-build`. So when a runner is shut down during
this job, it will not be retried.
To simplify matters, I just made retrying on runner failure the default.
The only jobs that were not retried before this commit were:
- nix-build
- set_pending
- set_success
- set_failure
I don't think it hurts to turn it on for those status jobs as well.
Additionally, the `.hackage` inclusion snippet redundantly specified
`{retry: {max: 2}}`, which I removed. Note that GitHub's merge algorithm
for inclusion would fill in the `{retry: {when: ...}}` key from
`.common`, it truly was a no-op in `.hackage`.1 parent ef194fe commit f592d8d
File tree
4 files changed
+6
-13
lines changed- .ci/gitlab
4 files changed
+6
-13
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
13 | 13 | | |
14 | 14 | | |
15 | 15 | | |
16 | | - | |
17 | | - | |
18 | | - | |
19 | | - | |
20 | | - | |
21 | 16 | | |
22 | 17 | | |
23 | 18 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
11 | | - | |
12 | | - | |
13 | | - | |
14 | | - | |
15 | | - | |
16 | 11 | | |
17 | 12 | | |
18 | 13 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
25 | 25 | | |
26 | 26 | | |
27 | 27 | | |
28 | | - | |
29 | | - | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
2 | 1 | | |
| 2 | + | |
3 | 3 | | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
4 | 9 | | |
5 | 10 | | |
6 | 11 | | |
| |||
0 commit comments