diff options
| author | Keuin <[email protected]> | 2022-09-12 03:36:53 +0800 |
|---|---|---|
| committer | Keuin <[email protected]> | 2022-09-12 03:36:53 +0800 |
| commit | dd34e58db1ea07e5bb3598eb57ae064e852957bf (patch) | |
| tree | 36b3861eda872ab042d8b22e5f941264237e9221 /.github/workflows | |
| parent | dc044914ac17040c8d7c2398d1a0a80b915891b0 (diff) | |
Bugfix: recorder won't retry if the connection was reset.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions