diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-12-17 18:03:07 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-12-17 18:03:07 +0000 |
| commit | 0c245892c6812538f4f51b784ed8afa1ce47f25d (patch) | |
| tree | 534911bb3fd3da96fb4ed1e598fdddbbd006a595 /.github/ci | |
| parent | c1120c7138c10a4cbdadb75d47eb23be9b65c231 (diff) | |
| parent | 76d8a896bbff612e3d2db27554891c71d28988af (diff) | |
Merge pull request #3622 from bugadani/next
Allow polling exited tasks
Diffstat (limited to '.github/ci')
0 files changed, 0 insertions, 0 deletions