Commit Graph

4 Commits

Author SHA1 Message Date
Mikhail f. Shiryaev
eb9ea6d0b9
Do not remove runners from GH in advance 2022-12-09 20:15:27 +01:00
Mikhail f. Shiryaev
23002bc808
Add typing to terminate_runner_lambda 2022-11-29 16:50:21 +01:00
Mikhail f. Shiryaev
af4d0b10bd
Delete unused code 2022-11-28 18:11:40 +01:00
Mikhail f. Shiryaev
218897e032
Rename runners_termination_lambda 2022-11-28 18:11:23 +01:00