352
81%

Ran 10 Sep 2025 08:39AM UTC

Jobs 1

Files 39

Run time 7min

Badge

Committed 10 Sep 2025 08:39AM UTC coverage: 77.717% (+0.2%) from 77.562%

Build # 352

Build Type

push

github

Committed by

Commit Message

refine process redirection API, allow reuse pipe & redirect to file

Run Details

39 of 46 new or added lines in 2 files covered. (84.78%)

858 of 1104 relevant lines covered (77.72%)

99.65 hits per line

Lines	Coverage	∆	File
7	86.54	-0.96%	src/process/process.mbt

ID	Job ID	Ran	Files	Coverage
1	352.1	10 Sep 2025 08:39AM UTC	39	77.72	GitHub Action Run