diff --git a/.github/workflows/compare_pr_to_master.v b/.github/workflows/compare_pr_to_master.v index 83af18d625..8de3e9e4e3 100755 --- a/.github/workflows/compare_pr_to_master.v +++ b/.github/workflows/compare_pr_to_master.v @@ -72,5 +72,6 @@ fn main() { } else { vcompare('./vold', './vnew') } + r('rm -rf hw nv ov hw.exe nv.exe ov.exe hw.c nv.c ov.c') println('Done.') }