[Bugfix #1166] Consult skip stubs and no-verdict output parse as SKIPPED, never as approval#1167
Open
pseudoseed wants to merge 1 commit into
Open
[Bugfix #1166] Consult skip stubs and no-verdict output parse as SKIPPED, never as approval#1167pseudoseed wants to merge 1 commit into
pseudoseed wants to merge 1 commit into