Refactor workflows: split pull request build, rename deploy, and remove unused steps

Signed-off-by: Chaoscaot <max@maxsp.de>
This commit is contained in:
2026-05-15 12:47:00 +02:00
parent a5856cf240
commit 202da658ee
3 changed files with 48 additions and 37 deletions
+1 -2
View File
@@ -106,7 +106,6 @@ jobs:
git config --global user.name "SteamWar Backport Bot"
git config --global user.email "backport-bot@steamwar.de"
git config --global http.extraHeader "Authorization: token ${GITEA_TOKEN}"
git fetch origin '+refs/heads/*:refs/remotes/origin/*'
for commit in "${source_commits[@]}"; do
@@ -190,7 +189,7 @@ jobs:
Source PR: ${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}/pulls/${pr_number}
${source_text}
This PR will be merged automatically by the Build workflow after a successful build.
This PR will be merged automatically by the Pull Request Build workflow after a successful build.
BODY
)"