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

Closed
will.anderson wants to merge 3 commits from fix/ci-pr-triggers into dev

3 Commits

Author SHA1 Message Date
will.anderson 7aa993d193 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
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.
2026-05-07 01:18:47 -05:00
Will Anderson 0482b476a3 ci: trigger stage build on PRs (deploy only on merge) 2026-05-05 04:44:21 -05:00
Will Anderson 27b53699c4 ci: trigger dev build+smoke on PRs to dev
Dev — Build & local smoke test / build-smoke (pull_request) Failing after 8s
2026-05-05 04:43:29 -05:00