Skip to content
Back to pull request #5216

pathchk: use Results instead of writeln with stderr #3527

Sign in to view logs

pathchk: use Results instead of writeln with stderr

pathchk: use Results instead of writeln with stderr #3527

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Style and Lint (ubuntu-22.04, unix)
3m 55s
Tests (ubuntu-22.04, unix)
4m 57s
8m 52s