ci: trigger dev build+smoke on PRs to dev #3

2026-05-05T09:43:34Z

will.anderson commented

2026-05-05 09:43:34 +00:00

Adds pull_request trigger to dev.yaml so CI runs on every PR targeting dev. Stage and main remain push/merge-only — no PR triggers there.

will.anderson added 1 commit 2026-05-05 09:43:34 +00:00

ci: trigger dev build+smoke on PRs to dev

Dev — Build & local smoke test / build-smoke (pull_request) Failing after 8s

Details

27b53699c4

will.anderson added 1 commit 2026-05-07 06:18:51 +00:00

fix: PR CI works without secrets — use committed El runtime for pull_request builds

Dev — Build & local smoke test / build-smoke (pull_request) Failing after 17m6s

Details

7aa993d193

Gitea does not inject secrets for pull_request events. All push/workflow_dispatch
CI was already working. PR builds were failing at Clone el and Authenticate to GCP.

Fix: for pull_request events, skip El clone and GCP auth entirely. Instead build
EL_HOME from committed files: bin/elc-linux-amd64 + runtime/{el_runtime.c,.h,.js}.
build-stage.sh already knows about bin/elc-linux-amd64 for JS compilation; this
extends that pattern to the native compiler and JS runtime.

Docker --cache-from is skipped implicitly (no docker auth configured for PR builds)
— BuildKit handles unauthenticated cache-from gracefully, continuing without cache.

will.anderson closed this pull request

2026-05-09 17:41:25 +00:00

will.anderson referenced this pull request

2026-05-11 23:25:45 +00:00

ci: re-trigger #3 #117

will.anderson referenced this issue from a commit

2026-05-11 23:25:48 +00:00

ci: re-trigger #3

will.anderson referenced this issue from a commit

2026-05-11 23:25:57 +00:00

Merge pull request 'ci: re-trigger #3' (#117) from ci/trigger-rebuild into stage