Skip to content

Revert "Fix child processes not being reaped when Process.detach us… #41

Revert "Fix child processes not being reaped when Process.detach us…

Revert "Fix child processes not being reaped when Process.detach us… #41

Triggered via push January 30, 2024 11:00
Status Success
Total duration 25m 17s
Artifacts

ragel.yml

on: push
skip_duplicate_runs  /  Skip Duplicate Runs
4s
skip_duplicate_runs / Skip Duplicate Runs
Matrix: ragel
Fit to window
Zoom out
Zoom in