Skip to content
CI

Update System::refresh_processes API to give control over when to remove dead processes #2161

Sign in to view logs

Update System::refresh_processes API to give control over when to remove dead processes

Update System::refresh_processes API to give control over when to remove dead processes #2161

Triggered via pull request October 3, 2024 21:37
@GuillaumeGomezGuillaumeGomez
synchronize #1353
rm-dead-processes
Status Success
Total duration 9m 33s
Artifacts –

CI.yml

on: pull_request
Matrix: check
rustfmt
11s
rustfmt
c_interface
12s
c_interface
Matrix: clippy
Matrix: unknown-targets
Matrix: tests
Fit to window
Zoom out
Zoom in