Merge GitHub upstream into Gitea primary #3

Merged
jesse merged 107 commits from codex/integrate-github-main-gitea-20260805 into main 2026-08-05 17:48:47 +08:00
2 changed files with 3 additions and 3 deletions
Showing only changes of commit ef0f01f193 - Show all commits
+2 -2
View File
@@ -28,7 +28,7 @@ permissions:
jobs:
validate:
runs-on: xiaoxin
runs-on: manman-linux
timeout-minutes: 45
env:
GITEA_SHA: ${{ gitea.sha }}
@@ -119,7 +119,7 @@ jobs:
publish:
if: gitea.event_name == 'push' && gitea.ref == 'refs/heads/staging'
needs: validate
runs-on: xiaoxin
runs-on: manman-linux
timeout-minutes: 45
env:
GITEA_SHA: ${{ gitea.sha }}
@@ -125,7 +125,7 @@ test("Gitea quality gate validates before publishing an immutable ACR manifest",
assert.match(workflow, /pull_request:\n\s+paths:/);
assert.match(workflow, /push:\n\s+branches: \[staging\]/);
assert.match(workflow, /workflow_dispatch:/);
assert.match(workflow, /runs-on: xiaoxin/);
assert.equal((workflow.match(/runs-on: manman-linux/g) ?? []).length, 2);
assert.match(workflow, /GITEA_SHA: \$\{\{ gitea\.sha \}\}/);
assert.equal((workflow.match(/git clean -ffdx/g) ?? []).length, 2);
assert.equal((workflow.match(/git status --porcelain --untracked-files=all/g) ?? []).length, 2);