t: Skip if pgrep is not installed #78
Merged
Codecov / codecov/changes
succeeded
Apr 3, 2025 in 1s
No indirect coverage changes found
View this Pull Request on Codecov
No indirect coverage changes found
Loading