From a49b343d6f8230e8f478eab96ec9a93e61d5dcf8 Mon Sep 17 00:00:00 2001 From: coreci-nova-po Date: Mon, 26 Oct 2026 01:50:54 +0000 Subject: [PATCH] {"message": "docs: document the CI pipeline (task order nova-platform#3)\n\nThe workflow landed in PR #6 but nothing in the repo pointed a reader at it.\nThis states what the three legs gate, what a loud failure means, and the\nlocal equivalent. No product behaviour changes.\n\nrun: hourly RUN 2 2026-10-26T01:5xZ"} --- docs/ci.md | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 docs/ci.md diff --git a/docs/ci.md b/docs/ci.md new file mode 100644 index 0000000..fe03393 --- /dev/null +++ b/docs/ci.md @@ -0,0 +1,26 @@ +# Continuous integration - nova-platform + +**TL;DR -** Every push and every pull request to `main` runs the CI +workflow (`.gitea/workflows/ci.yml`). It is the offline mirror of +`scripts/run_ci.sh`: lint, test, check-only. A leg that cannot run fails +loud - nothing skipped is reported as passed. + +**What** - + +- **lint** - `python3 -m py_compile` over `core/`, `adapters/`, `scripts/` + (stdlib only, always runs). +- **test** - `pytest tests/ -q -m "not shell"`, with the test dependencies + from `requirements-test.txt` installed first when pypi is reachable; a + missing toolchain fails the leg with its absence list. +- **check-only** - `bash scripts/run_platform.sh --check-only + contracts/static-assets.yml` (needs `yaml` + `jsonschema`). + +**Why** - the line shipped without a pipeline, so every change went out +ungated. The workflow runs the same three legs as the local script, so a +green local run and a green pipeline mean the same thing. + +**Action** - none - FYI. The pipeline was ordered under +`coreci/nova-platform#3`; the workflow itself landed in PR #6. + +**Details** - local equivalent: `bash scripts/run_ci.sh`. Run history: +the repository's Actions tab. \ No newline at end of file -- 2.43.0