Mirrors/MariaDB-server
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-12-28 08:10:14 +00:00
Code Issues Actions 5 Packages Projects Releases Wiki Activity

Fix appveyor config

Browse Source 
Sometimes pull request commit would be incorrectly skipped.
This commit is contained in:
Vladislav Vaintroub 2025-04-18 19:53:55 +02:00
parent 15fd232da4
commit 459dfe99d1
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
appveyor.yml
View File

@ -18,8 +18,9 @@ before_build:
return $null
}
}
Get-ChildItem Env: | Where-Object { $_.Name -like 'APPVEYOR*COMMIT' } | ForEach-Object { "$($_.Name)=$($_.Value)" }
$commit = $env:APPVEYOR_REPO_COMMIT
$commit2 = $env:APPVEYOR_PULL_REQUEST_HEAD_COMMIT
$branch = $env:APPVEYOR_REPO_BRANCH
$latest = $null
$mainBranch = $branch -match '^(main|\d+\.\d+)$'
@ -32,8 +33,8 @@ before_build:
$mainBranch = $False
"Pull Request build detected"
}
if ($latest -and ($commit -ne $latest) -and (-not $mainBranch)) {
"Skipping outdated commit $commit (latest is $latest)"
if ($latest -and ($commit -ne $latest) -and ($commit2 -ne $latest) -and (-not $mainBranch)) {
"Skipping outdated commit (latest is $latest)"
Exit-AppVeyorBuild
}