quartz-pages: run Pages steps and deploy only on the GitHub mirror #4
Loading…
Reference in a new issue
No description provided.
Delete branch "void/pages-gate"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Cause: the shared workflow uses GitHub-only Pages actions. On the forge runner (Forgejo 16.0.3, runner v13.2.0, single slot) actions resolve from data.forgejo.org, which has no actions/configure-pages. AetheriaLore run 791 (build job, log build-1651):
unable to probe object format for https://data.forgejo.org/actions/configure-pages: ls-remote failed ... fatal: repository 'https://data.forgejo.org/actions/configure-pages/' not foundthenJob failed; the deploy job never starts.Change (6 lines, one file):
if: github.server_url == 'https://github.com'on the Configure Pages step, the Upload Pages artifact step and the wholedeployjob. Checkout, setup-node, npm ci and the Quartz build still run everywhere, so a forge run becomes a real build check instead of a failure.Verified context: AetheriaLore PR #6 (Weksa, same condition at the caller's
deployjob) was merged and its push run 938 on the forge has jobdeployand its called jobsbuild/deploy-1allskipped, so the forge evaluatesgithub.server_url == 'https://github.com'to false. Run 791 (before the gate) shows the runner's event as workflow_call and the same forge host. I did not see the literal server_url value printed; the skip is the evidence.Concurrency: deliberately not added here. Consumers already declare
concurrency: group: pagesat the caller; a callee declaring the same group deadlocks/cancels itself on GitHub, and a different group would add nothing. Note the consumers set cancel-in-progress: true, which can cancel an in-flight Pages deploy; that is a consumer-side choice (false for a deploy group).Not run: no run of this branch (the workflow is only invoked via workflow_call from consumers, @main; it takes effect after merge); GitHub-side behaviour untested here; YAML parse checked with python yaml only.
Not merged.
🤖 Generated with Claude Code
Superseded by #6, which carries only the github.server_url guard from void/pages-gate. Closing this one: its head was stale and its branch deleted.
Pull request closed