+9 #190
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Upstream pretest | |
| on: | |
| push: | |
| branches-ignore: | |
| - 'subm-pretest/**' | |
| schedule: | |
| - cron: '0 0 * * *' | |
| workflow_dispatch: | |
| permissions: | |
| contents: write | |
| concurrency: | |
| group: ${{ github.workflow }} | |
| cancel-in-progress: false | |
| # There are 2 steps of adding new upstream commits: | |
| # 1. Add new commits from the PR head ref (and, if needed, main/custom branches): to "pretest/$pr_num" in fork | |
| # 2. Add commit with test changes: to "subm-pretest/$org_repo/$pr_num" in POCGL repo | |
| # To only update when source has been updated: | |
| # - "pretest" references sha of latest PR commit as: meta.pr_head_sha | |
| # - "pretest" references sha of latest "subm-pretest" commit as: meta.core_pretest_sha | |
| # "pretest" is not updated when only main or custom branch of subm updates | |
| # - Otherwise all pretest branches would update at the same time, even on unrelated changes | |
| # "pretest" needs to be first checked by a separate "git ls-remote" before "git fetch" | |
| # - Otherwise git fetch would fail fetching the missing branches | |
| # "pretest" and "subm-pretest" can be update manually by push, in case anything new needs to be implemented for the new XML spec | |
| # - In that case, there would be no commit sha reference, so it will be re-tested on the next run of this workflow | |
| jobs: | |
| enmr-PRs: | |
| runs-on: windows-latest | |
| outputs: | |
| exec_list: ${{ steps.make_exec_list.outputs.exec_list }} | |
| remove_list: ${{ steps.make_exec_list.outputs.remove_list }} | |
| steps: | |
| - name: git config | |
| run: | | |
| git config --global gc.auto 0 | |
| git config --global core.autocrlf false | |
| git config --global user.name "sun pack bot" | |
| git config --global user.email "sunserega2@gmail.com" | |
| git config --global --add url.https://github.com/.insteadOf "git@github.com:" | |
| - name: checkout | |
| uses: actions/checkout@main | |
| with: | |
| sparse-checkout-cone-mode: false | |
| sparse-checkout: | | |
| .gitmodules | |
| - name: (!) make exec list | |
| id: make_exec_list | |
| run: | | |
| function Get-GitRemoteBranches() { | |
| param ($url, $pattern) | |
| $reg_pattern = $pattern -replace '\*','(.*)' | |
| $res = @() | |
| foreach ($l in git ls-remote $url $pattern) { | |
| if ($l -notmatch "(^[0-9a-f]{40})\s+($reg_pattern)$") { | |
| throw "Unexpected git ls-remote output: $l" | |
| } | |
| $sha = $matches[1] | |
| $branch = $matches[2] | |
| if ($branch -notmatch "^$reg_pattern$") { | |
| throw "What?" | |
| } | |
| $res += [PSCustomObject]@{ | |
| 'sha' = $sha; | |
| 'branch' = $branch; | |
| 'matches' = $matches; | |
| } | |
| } | |
| if (-not $?) { throw "git ls-remote failed" } | |
| return $res | |
| } | |
| Write-Host "==============================" | |
| Write-Host "Bulding open PR list" | |
| $submodules = @() | |
| $submodule_by_repo = @{} | |
| foreach ($config_key in git config --file .gitmodules --name-only --get-regexp '^submodule\..+\.url$') { | |
| $url = git config --file .gitmodules --get $config_key | |
| Write-Host "URL: $url" | |
| if ($url -notmatch '^git@github\.com:([\w\-]+)/([\w\-]+)\.git$') { | |
| throw "Unexpected url format: $url" | |
| } | |
| $owner = $matches[1] | |
| $name = $matches[2] | |
| $fork_url = "git@github.com:SunSerega/${name}.git" | |
| $mergeable_prs = @() | |
| foreach ($l in Get-GitRemoteBranches $url 'refs/pull/*/merge') { | |
| $pr_num = $l.matches[1] | |
| $mergeable_prs += $pr_num | |
| } | |
| $head_sha_by_pr = @{} | |
| foreach ($l in Get-GitRemoteBranches $url 'refs/pull/*/head') { | |
| $sha = $l.sha | |
| $pr_num = $l.matches[1] | |
| if ($pr_num -notin $mergeable_prs) { continue } | |
| Write-Host "- Found open PR $pr_num with latest sha $sha" | |
| $head_sha_by_pr.Add($pr_num, $sha) | |
| } | |
| $pretest_prs = @() | |
| foreach ($l in Get-GitRemoteBranches $fork_url 'refs/heads/pretest/*') { | |
| $sha = $l.sha | |
| $pr_num = $l.matches[1] | |
| Write-Host "- Found pretest branch for PR $pr_num with latest sha $sha" | |
| $pretest_prs += $pr_num | |
| } | |
| $subm = [PSCustomObject]@{ | |
| 'url' = $url; | |
| 'fork_url' = $fork_url; | |
| 'owner' = $owner; | |
| 'name' = $name; | |
| 'repo' = "$owner/$name" | |
| 'head_sha_by_pr' = $head_sha_by_pr; | |
| 'pretest_prs' = $pretest_prs; | |
| } | |
| $submodules += $subm | |
| $submodule_by_repo.Add($subm.repo, $subm) | |
| } | |
| Write-Host "==============================" | |
| Write-Host "Fetching extra data" | |
| $core_pretest_pr_nums = @{} | |
| $subm_fetch_specs = @{} | |
| foreach ($l in Get-GitRemoteBranches origin 'refs/heads/subm-pretest/*/*/*') { | |
| $sha = $l.sha | |
| $subm_owner = $l.matches[1] | |
| $subm_name = $l.matches[2] | |
| $pr_num = $l.matches[3] | |
| $repo = "$subm_owner/$subm_name" | |
| Write-Host "- Found core pretest branch for repo $repo PR $pr_num" | |
| $core_pretest_pr_nums[$repo] += @{ "$pr_num" = $sha } | |
| if ($pr_num -in $submodule_by_repo[$repo].pretest_prs) { | |
| $fork_pretest_branch = "pretest/$pr_num" | |
| $subm_fetch_specs[$repo] += @("refs/heads/${fork_pretest_branch}:${fork_pretest_branch}") | |
| } else { | |
| Write-Host "--- MISSING FORK PRETEST" | |
| } | |
| } | |
| # To check which pretest branches are up to date and should not be tested | |
| # - Only need commit messages, not files | |
| foreach ($repo in $submodule_by_repo.Keys) { | |
| if (-not $subm_fetch_specs[$repo]) { continue } | |
| Write-Host "- Fetching branches for $repo" | |
| # Write-Host git fetch --depth=1 --no-tags --filter=tree:0 $submodule_by_repo[$repo].fork_url $subm_fetch_specs[$repo] | |
| git fetch --depth=1 --no-tags --filter=tree:0 $submodule_by_repo[$repo].fork_url $subm_fetch_specs[$repo] | |
| if (-not $?) { throw "git fetch failed" } | |
| } | |
| Write-Host "==============================" | |
| Write-Host "Building exec_list" | |
| $exec_list = @() | |
| foreach ($subm in $submodules) { | |
| Write-Host "subm: $($subm.name)" | |
| foreach ($pr_num in $subm.head_sha_by_pr.Keys) { | |
| Write-Host "- PR $pr_num" | |
| function Is-SkipNeeded() { | |
| if ($pr_num -notin $subm.pretest_prs) { return $false } | |
| if ($pr_num -notin $core_pretest_pr_nums[$subm.repo].Keys) { return $false } | |
| $extra_debug = $true | |
| $pr_head_sha_found = $false | |
| $core_pretest_sha_found = $false | |
| foreach ($l in git log -1 --pretty=format:"%B" "pretest/$pr_num") { | |
| if ($extra_debug) { | |
| Write-Host "--- $l" | |
| } | |
| if ($l -notmatch '^meta\.(\w+)=([0-9a-f]{40})$') { continue } | |
| $key = $matches[1] | |
| $sha = $matches[2] | |
| if ($extra_debug) { | |
| Write-Host "----- FOUND [$key]: $sha" | |
| } | |
| if ($key -eq 'pr_head_sha') { | |
| if ($sha -eq $subm.head_sha_by_pr[$pr_num]) { | |
| $pr_head_sha_found = $true | |
| } elseif ($extra_debug) { | |
| Write-Host "----- SHA unexpected" | |
| } | |
| } elseif ($key -eq 'core_pretest_sha') { | |
| if ($sha -eq $core_pretest_pr_nums[$subm.repo][$pr_num]) { | |
| $core_pretest_sha_found = $true | |
| } elseif ($extra_debug) { | |
| Write-Host "----- SHA unexpected" | |
| } | |
| } elseif ($extra_debug) { | |
| Write-Host "----- Key unexpected" | |
| } | |
| } | |
| return $pr_head_sha_found -and $core_pretest_sha_found | |
| } | |
| if (Is-SkipNeeded) { continue } | |
| Write-Host "--- TEST NOW" | |
| $exec_list += [PSCustomObject]@{ | |
| '!id' = $pr_num; | |
| 'subm_name' = $subm.name; | |
| 'org_repo' = $subm.repo; | |
| 'fork_repo' = "SunSerega/$($subm.name)"; | |
| 'pr_num' = $pr_num; | |
| } | |
| } | |
| } | |
| $json = ConvertTo-Json -Compress $exec_list | |
| Write-Host $json | |
| echo "exec_list=$json" >> $env:GITHUB_OUTPUT | |
| Write-Host "==============================" | |
| Write-Host "Building remove_list" | |
| $remove_list = @() | |
| foreach ($subm in $submodules) { | |
| Write-Host "subm: $($subm.name)" | |
| $subm_rem_pretest_pr_nums = @() | |
| foreach ($pr_num in $subm.pretest_prs) { | |
| Write-Host "- Fork pretest for PR $pr_num" | |
| if ($pr_num -in $subm.head_sha_by_pr.Keys) { continue } | |
| $subm_rem_pretest_pr_nums += $pr_num | |
| Write-Host "--- REMOVE" | |
| } | |
| $core_rem_pretest_pr_nums = @() | |
| foreach ($pr_num in $core_pretest_pr_nums[$subm.repo].Keys) { | |
| Write-Host "- Core pretest for PR $pr_num" | |
| if ($pr_num -in $subm.head_sha_by_pr.Keys) { continue } | |
| $core_rem_pretest_pr_nums += $pr_num | |
| } | |
| if ($subm_rem_pretest_pr_nums -or $core_rem_pretest_pr_nums) { | |
| $remove_list += [PSCustomObject]@{ | |
| '!id' = $subm.name; | |
| 'org_repo' = $subm.repo; | |
| 'fork_repo' = "SunSerega/$($subm.name)"; | |
| 'subm_pretest_pr_nums' = $subm_rem_pretest_pr_nums -join ','; | |
| 'core_pretest_pr_nums' = $core_rem_pretest_pr_nums -join ','; | |
| } | |
| } | |
| } | |
| $json = ConvertTo-Json -Compress $remove_list | |
| Write-Host $json | |
| echo "remove_list=$json" >> $env:GITHUB_OUTPUT | |
| pretest-each: | |
| runs-on: windows-latest | |
| needs: enmr-PRs | |
| if: ${{ needs.enmr-PRs.outputs.exec_list != '[]' }} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| exec-data: ${{ fromJson(needs.enmr-PRs.outputs.exec_list) }} | |
| steps: | |
| - name: git config | |
| run: | | |
| git config --global gc.auto 0 | |
| git config --global core.autocrlf false | |
| git config --global advice.detachedHead false | |
| git config --global user.name "sun pack bot" | |
| git config --global user.email "sunserega2@gmail.com" | |
| git config --global --add url.https://github.com/.insteadOf "git@github.com:" | |
| - name: checkout main repo | |
| uses: actions/checkout@main | |
| with: | |
| ref: ${{ github.event.repository.default_branch }} | |
| path: './POCGL' # needs to have exactly this name for consistent traces in err tests | |
| fetch-depth: 0 | |
| - name: checkout subm fork | |
| uses: actions/checkout@main | |
| with: | |
| ref: 'custom' | |
| path: './fork' | |
| fetch-depth: 0 | |
| repository: ${{ matrix.exec-data.fork_repo }} | |
| token: ${{ secrets.POCGL_pretest_upstream_PAT }} | |
| - name: (!) pretest | |
| run: | | |
| $subm_name = '${{ matrix.exec-data.subm_name }}' | |
| $org_repo = '${{ matrix.exec-data.org_repo }}' | |
| $fork_repo = '${{ matrix.exec-data.fork_repo }}' | |
| $pr_num = "${{ matrix.exec-data.pr_num }}" | |
| $remote_official = '0_official' | |
| $b_fork_upstream_main = "$remote_official/main" | |
| $b_fork_main = 'custom' | |
| $b_fork_pretest = "pretest/$pr_num" | |
| $b_fork_merged_pr_head = "$pr_num/merged_pr_head" # $pr_num/head + main | |
| $b_fork_virgin_merge_test = "$pr_num/virgin_merge_test" # $b_merged_pr_head + custom | |
| $b_core_main = '${{ github.event.repository.default_branch }}' | |
| $b_core_subm_pretest = "subm-pretest/$org_repo/$pr_num" | |
| Write-Host "==============================" | |
| Write-Host "Updating subm fork..." | |
| Push-Location './fork' | |
| git remote add $remote_official "git@github.com:${org_repo}.git" | |
| git config --add "remote.$remote_official.fetch" "+refs/pull/*:refs/remotes/$remote_official/pull/*" | |
| git fetch --all 2>&1 | Out-Null | |
| Write-Host "- Creating $b_fork_merged_pr_head" | |
| git checkout "remotes/$remote_official/pull/$pr_num/head" | |
| if (-not $?) { throw "git checkout failed" } | |
| git checkout -b $b_fork_merged_pr_head | |
| if (-not $?) { throw "git checkout -b failed" } | |
| Write-Host "--- Merging with ${b_fork_upstream_main}:" | |
| git merge $b_fork_upstream_main | |
| 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" | |
| exit 0 | |
| } | |
| Write-Host "- Creating $b_fork_virgin_merge_test" | |
| git checkout -b $b_fork_virgin_merge_test | |
| if (-not $?) { throw "git checkout -b failed" } | |
| $virgin_merge_test_exists = $true | |
| Write-Host "--- Merging with ${b_fork_main}:" | |
| git merge $b_fork_main | |
| if (-not $?) { | |
| Write-Host "git merge $b_fork_main failed" | |
| Write-Host "Cannot create $b_fork_virgin_merge_test" | |
| $virgin_merge_test_exists = $false | |
| git reset --hard | |
| if (-not $?) { throw "git reset failed" } | |
| } | |
| if (&{ git show-ref --verify -q "refs/remotes/origin/$b_fork_pretest"; $? }) { | |
| Write-Host "- Branch for PR $pr_num exists" | |
| git checkout $b_fork_pretest | |
| Write-Host "--- Merging with ${b_fork_main}:" | |
| git merge $b_fork_main | |
| if (-not $?) { throw "git merge failed" } | |
| Write-Host "--- Merging with PR head:" | |
| git merge "remotes/$remote_official/pull/$pr_num/head" | |
| if (-not $?) { throw "git merge failed" } | |
| Write-Host "--- Merging with ${b_fork_upstream_main}:" | |
| git merge $b_fork_upstream_main | |
| if (-not $?) { throw "git merge failed" } | |
| $need_push = $true | |
| if ($virgin_merge_test_exists) { | |
| Write-Host "--- Diff with ${b_fork_virgin_merge_test}:" | |
| git diff HEAD $b_fork_virgin_merge_test --exit-code | |
| if (-not $?) { | |
| Write-Host "----- Diff found, building on top" | |
| } else { | |
| Write-Host "----- Diff not found, resetting branch" | |
| git reset --hard $b_fork_virgin_merge_test | |
| if (-not $?) { throw "git reset failed" } | |
| git push -f | |
| if (-not $?) { throw "git push -f failed" } | |
| $need_push = $false | |
| } | |
| } | |
| if ($need_push) { | |
| git push | |
| if (-not $?) { throw "git push failed" } | |
| } | |
| } else { | |
| Write-Host "- Branch for PR $pr_num doesn't exist" | |
| if (-not $virgin_merge_test_exists) { | |
| git checkout $b_fork_merged_pr_head | |
| if (-not $?) { throw "git checkout failed" } | |
| git checkout -b $b_fork_pretest | |
| if (-not $?) { throw "git checkout -b failed" } | |
| git push --set-upstream origin $b_fork_pretest | |
| if (-not $?) { throw "git push failed" } | |
| throw "Branch $b_fork_virgin_merge_test was not created, so merge with $b_fork_main is not possible" | |
| } | |
| Write-Host "--- Creating:" | |
| git checkout $b_fork_virgin_merge_test | |
| if (-not $?) { throw "git checkout failed" } | |
| git checkout -b $b_fork_pretest | |
| if (-not $?) { throw "git checkout -b failed" } | |
| git push --set-upstream origin $b_fork_pretest | |
| if (-not $?) { throw "git push failed" } | |
| } | |
| Pop-Location | |
| Write-Host "==============================" | |
| Write-Host "Updating main repo..." | |
| Push-Location './POCGL' | |
| git fetch --all 2>&1 | Out-Null | |
| if (&{ git show-ref --verify -q "refs/remotes/origin/$b_core_subm_pretest"; $? }) { | |
| Write-Host "- Branch for PR $pr_num exists" | |
| git checkout $b_core_subm_pretest | |
| if (-not $?) { throw "git checkout failed" } | |
| $need_force_push = $false | |
| Write-Host "--- Deleting the latest [trivial] commits:" | |
| while ($true) { | |
| ($commit_name = (git log -1 --pretty=format:"%B" HEAD) -join "`n") | |
| if (-not $?) { throw "git log failed" } | |
| if (-not $commit_name.Contains("[trivial]")) { break } | |
| Write-Host "=====" | |
| git reset --hard HEAD~1 | |
| if (-not $?) { throw "git reset failed" } | |
| $need_force_push = $true | |
| } | |
| if ($need_force_push) { | |
| git push -f | |
| if (-not $?) { throw "git push -f failed" } | |
| } | |
| # expecting fast-forward when possible | |
| Write-Host "--- Merging with ${b_core_main}:" | |
| git merge $b_core_main -m "[trivial] Merge $b_core_main into subm-pretest/..." | |
| if (-not $?) { | |
| Write-Host "----- Simple merge failed, trying to fix submodule conflict" | |
| git reset "DataScraping/Reps/$subm_name" | |
| if (-not $?) { throw "git reset failed" } | |
| git commit --no-edit | |
| if (-not $?) { throw "git commit failed" } | |
| } | |
| git push | |
| if (-not $?) { throw "git push failed" } | |
| } else { | |
| Write-Host "- Branch for PR $pr_num doesn't exist" | |
| Write-Host "--- Creating:" | |
| git checkout -b $b_core_subm_pretest | |
| if (-not $?) { throw "git checkout -b failed" } | |
| git push --set-upstream origin $b_core_subm_pretest | |
| if (-not $?) { throw "git push failed" } | |
| } | |
| $core_pretest_sha = git rev-parse HEAD | |
| if (-not $?) { throw "git rev-parse failed" } | |
| Pop-Location | |
| & { | |
| Write-Host "==============================" | |
| Write-Host "Installing OpenCL driver for Intel CPU" | |
| # https://www.intel.com/content/www/us/en/developer/articles/technical/intel-cpu-runtime-for-opencl-applications-with-sycl-support.html | |
| Invoke-WebRequest -Uri 'https://registrationcenter-download.intel.com/akdlm/IRC_NAS/0e6849e6-2c56-480b-afcf-be8331d5c4f6-opencl/w_opencl_runtime_p_2024.1.0.968.exe' -OutFile 'D:\igfx.exe' | |
| 7z x "D:\igfx.exe" -o"D:\igfx" -y | |
| D:\igfx\w_opencl_runtime_p_2024.1.0.968.msi /quiet | |
| } | |
| & { | |
| Write-Host "==============================" | |
| Write-Host "Downloading and unpacking Pascal compiler" | |
| Invoke-WebRequest -Uri 'https://github.com/SunSerega/pascalabcnet/releases/download/custom-build-tag/PABCNETC.zip' -OutFile 'D:\PABCNETC.zip' | |
| Expand-Archive -Path 'D:\PABCNETC.zip' -DestinationPath 'D:\PABCNETC' -Force | |
| } | |
| Write-Host "==============================" | |
| Write-Host "Testing main repo..." | |
| Push-Location './POCGL' | |
| & .\DeleteAllTemp.bat NoPause | Out-Null | |
| Write-Host "- Compile: " -NoNewline | |
| Start-Process -FilePath 'D:\PABCNETC\pabcnetcclear.exe' -ArgumentList '"PackAll.pas"' -Wait -NoNewWindow | |
| & .\PackAll.exe "Stages= PullUpstream + Reference + Dummy + OpenCL+OpenCLABC + OpenGL+OpenGLABC + Compile + Test + Release" "PullUpstreamBranch=${subm_name}:${b_fork_pretest}" "PasCompPath=D:\PABCNETC\pabcnetcclear.exe" SkipFinishedPause | |
| if (-not $?) { throw "PackAll failed" } | |
| $need_commit = (git diff --name-only ":!LastPack.log" ":!Log/PullUpstream.log" ":!DataScraping/Reps") -or (git ls-files --others --exclude-standard) | |
| if ($need_commit) { | |
| Write-Host "- Found significant changes" | |
| git commit -a -m '[trivial] test changes' | |
| if (-not $?) { throw "git commit failed" } | |
| git push | |
| if (-not $?) { throw "git push failed" } | |
| } | |
| Pop-Location | |
| Write-Host "==============================" | |
| Write-Host "Adding meta to fork repo..." | |
| Push-Location './fork' | |
| $pr_head_sha = git rev-parse "remotes/0_official/pull/$pr_num/head" | |
| if (-not $?) { throw "git rev-parse failed" } | |
| git commit --allow-empty -m @" | |
| Add pretest meta | |
| meta.pr_head_sha=$pr_head_sha | |
| meta.core_pretest_sha=$core_pretest_sha | |
| "@ | |
| if (-not $?) { throw "git commit failed" } | |
| git push | |
| if (-not $?) { throw "git push failed" } | |
| Pop-Location | |
| remove-old-pretest: | |
| runs-on: windows-latest | |
| needs: enmr-PRs | |
| if: ${{ needs.enmr-PRs.outputs.remove_list != '[]' }} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| remove-data: ${{ fromJson(needs.enmr-PRs.outputs.remove_list) }} | |
| steps: | |
| - name: git config | |
| run: | | |
| git config --global gc.auto 0 | |
| git config --global core.autocrlf false | |
| git config --global user.name "sun pack bot" | |
| git config --global user.email "sunserega2@gmail.com" | |
| git config --global --add url.https://github.com/.insteadOf "git@github.com:" | |
| - name: checkout main repo | |
| uses: actions/checkout@main | |
| with: | |
| path: './POCGL' | |
| fetch-depth: 0 | |
| sparse-checkout-cone-mode: false | |
| sparse-checkout: '.gitmodules' | |
| - name: checkout subm fork | |
| uses: actions/checkout@main | |
| with: | |
| path: './fork' | |
| sparse-checkout-cone-mode: false | |
| sparse-checkout: '<NOTHING>' | |
| repository: ${{ matrix.remove-data.fork_repo }} | |
| token: ${{ secrets.POCGL_pretest_upstream_PAT }} | |
| - name: (!) remove old pretest branches | |
| run: | | |
| function Split-OrEmpty { | |
| param ( $s ) | |
| if (-not $s) { return @() } | |
| return $s -split ',' | |
| } | |
| $org_repo = '${{ matrix.remove-data.org_repo }}' | |
| $fork_repo = '${{ matrix.remove-data.fork_repo }}' | |
| $subm_pretest_pr_nums = Split-OrEmpty '${{ matrix.remove-data.subm_pretest_pr_nums }}' | |
| $core_pretest_pr_nums = Split-OrEmpty '${{ matrix.remove-data.core_pretest_pr_nums }}' | |
| Push-Location './POCGL' | |
| $core_removed_pr_nums = @() | |
| foreach ($pr_num in $core_pretest_pr_nums) { | |
| Write-Host "Checking if subm-pretest branch for PR $pr_num is trivial" | |
| $branch_name = "subm-pretest/$org_repo/$pr_num" | |
| Write-Host $branch_name | |
| $is_trivial = $true | |
| foreach ($commit_name in git show --pretty=format:"%s" -s "HEAD..origin/$branch_name") { | |
| Write-Host "- $commit_name" | |
| if ($commit_name.StartsWith('[trivial]')) { continue } | |
| Write-Host "--- NOT TRIVIAL" | |
| $is_trivial = $false | |
| # break | |
| } | |
| if (-not $?) { throw "git show failed" } | |
| if ($is_trivial) { | |
| Write-Host "Is trivial, removing..." | |
| git push origin --delete $branch_name # BRANCH DELETE | |
| if (-not $?) { throw "git push --delete failed" } | |
| $core_removed_pr_nums += $pr_num | |
| } | |
| Write-Host '~~~~~' | |
| } | |
| Pop-Location | |
| $core_pretest_pr_nums = $core_pretest_pr_nums | | |
| Where-Object { $_ -notin $core_removed_pr_nums } | |
| Push-Location './fork' | |
| foreach ($pr_num in $subm_pretest_pr_nums) { | |
| Write-Host "PR $pr_num was closed" | |
| if ($core_pretest_pr_nums -contains $pr_num) { | |
| Write-Host "But main repo is still referencing it" | |
| } else { | |
| Write-Host "Removing..." | |
| git push origin --delete "pretest/$pr_num" # BRANCH DELETE | |
| if (-not $?) { throw "git push --delete failed" } | |
| } | |
| Write-Host '~~~~~' | |
| } | |
| Pop-Location | |
| if ($core_pretest_pr_nums) { | |
| Write-Host "pretest branches for these PRs are dangling:" | |
| foreach ($pr_num in $core_pretest_pr_nums) { | |
| Write-Host "- $pr_num" | |
| } | |
| throw "Some pretest branches in main repo are dangling" | |
| } | |