Commit Graph

3 Commits

Author SHA1 Message Date
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