diff --git a/.github/workflows/upstream pretest.yaml b/.github/workflows/upstream pretest.yaml index 5b4dfeb1..a38ae601 100644 --- a/.github/workflows/upstream pretest.yaml +++ b/.github/workflows/upstream pretest.yaml @@ -357,7 +357,7 @@ jobs: if (-not $?) { Write-Host "git merge failed" Write-Host "This PR is outdated and cannot be properly tested" - Write-Output "::notice::Cannot test PR $pr_num from $subm_name, because it has conflicts" + # Write-Output "::notice::Cannot test PR $pr_num from $subm_name, because it has conflicts" exit 0 } @@ -567,6 +567,10 @@ jobs: if (-not $?) { throw "git push failed" } Pop-Location + + + + Write-Output "::notice::Newly tested PR $pr_num from $subm_name" remove-old-pretest: runs-on: windows-latest