Files
Juan Denis 727310a703 Run CI on pull requests into dev
CONTRIBUTING asks contributors to target dev, but every workflow only
triggered on PRs into main, so contributor PRs merged with no checks
and failures surfaced only after the push to dev.
2026-10-10 13:26:07 -04:00

37 lines
1.2 KiB
YAML

name: Extensions CI
# Guards the builtin-extension platform. The pre-bundled plugin frontends under
# frontend/src/plugins/<slug>/ are build artifacts of builtin-extensions/<slug>/
# frontend/ (decision D5 in docs/plans/12_EXTENSIONS_PLATFORM_PLAN.md). They used
# to be hand-duplicated and silently drifted; this job fails the build if the
# artifact no longer matches its source, so the two can never diverge unnoticed.
on:
push:
branches: [dev]
paths:
- 'builtin-extensions/**'
- 'frontend/src/plugins/**'
- 'scripts/sync-builtin-frontends.mjs'
- '.github/workflows/extensions-ci.yml'
pull_request:
branches: [main, dev]
paths:
- 'builtin-extensions/**'
- 'frontend/src/plugins/**'
- 'scripts/sync-builtin-frontends.mjs'
- '.github/workflows/extensions-ci.yml'
workflow_call:
jobs:
builtin-frontend-drift:
name: builtin frontend drift check
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-node@v4
with:
node-version: '22'
- name: Check builtin-extension frontends are in sync
run: node scripts/sync-builtin-frontends.mjs --check