pi-ext

bugabingas pi extensions

owned by admin

chore(automation): move full CI to Luci

b720c295f75988a1d02c5778500a49f0dd2d3a1e

Oliver Krylow <o.krylow@isp-insoft.de> · 2026-09-07 16:59 UTC

unverifiable SSH 1 parent

ready

@@ -39,8 +39,8 @@

Luci at `ci.bugabinga.net` auto-discovers `.ci/*.kdl` from the public Soft Serve repository.

Repository CI must delegate to `CI=true mise run //:ci`; do not duplicate gates in Luci configuration.

-**`mise run //:ci` must pass before pushing.**

-It runs check and lint concurrently, then test and E2E sequentially.

+Full CI runs on Luci after pushing.

+Run `mise run //:ci` locally only when the user explicitly requests it.

## Extension engineering

@@ -83,7 +83,8 @@

## Git hooks

- `pre-commit` runs check and lint.

-- `pre-push` runs full CI.

+- `pre-push` runs check and lint.

+- Luci runs full CI.

## Troubleshooting

ready

@@ -253,5 +253,5 @@

run = [{ tasks = ["check", "lint"] }]

[tasks.pre-push]

-description = "Pre-push hook: full CI"

-run = [{ task = "ci" }]

+description = "Pre-push hook: check + lint"

+run = [{ tasks = ["check", "lint"] }]