Refresh the child pids every 'interval' seconds #48

Sign in to view logs

Summary
Jobs
- mypy
Run details
- Usage
- Workflow file

Triggered via pull request September 14, 2024 13:38

miaucl

opened #5

refresh-child-pids

Status Success

Total duration 38s

Artifacts –

mypy.yaml

on: pull_request