Skip to content
ragel

Fix child processes not being reaped with PID 1 #16

Sign in to view logs

Fix child processes not being reaped with PID 1

Fix child processes not being reaped with PID 1 #16

Run time

Learn about OS pricing on GitHub Actions
Job Run time
skip_duplicate_runs / Skip Duplicate Runs
2s
ragel ubuntu-20.04 head
2s
ragel macos-11 head
4s
8s