+10

.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