feat(ci): adapt formal releases and MAIN deployment #3

Merged
eezd merged 3 commits from dev into main 2026-10-30 11:15:59 +08:00
2 changed files with 2 additions and 1 deletions
Showing only changes of commit 344ff42823 - Show all commits

No files matched your search

-1
View File
@@ -31,7 +31,6 @@ jobs:
if: gitea.ref == 'refs/heads/main'
runs-on: ubuntu-latest
timeout-minutes: 55
env:
container:
image: node:24-bookworm
volumes:
+2
View File
@@ -310,6 +310,8 @@ def preflight(version, commit):
require(state['version'] == version, 'Reserved version mismatch')
validate_identity(version, commit)
gitea, github = clients()
require(gitea.request('/user')['login'] == 'eezd', 'Unexpected Gitea release identity')
require(github.request('/user')['login'] == 'eezd', 'Unexpected GitHub release identity')
repository = github.repo()
require(repository['permissions']['push'], 'GitHub credential cannot publish this repository')
scopes = {s.strip() for s in github.headers.get('X-OAuth-Scopes', '').split(',')}