Mike/pygienium
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

docs: port is updated only by CI on push — drop manual regeneration usage note
Some checks failed
port-to-omp / port (push) Failing after 5s
Details

Browse Source
This commit is contained in:
Michael Freno
2026-08-11 12:16:24 -04:00
parent d8be026a2b
commit 82888f3137
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
port-to-omp.mjs
View File

@@ -7,12 +7,12 @@
* --out) is a generated artifact. Every op asserts its target and fails * --out) is a generated artifact. Every op asserts its target and fails
* loudly on base drift — never silently producing a stale port. * loudly on base drift — never silently producing a stale port.
* *
* Usage: * The port is updated ONLY by CI on push (see below) — never by hand; local
* bun port-to-omp.mjs # write ~/.omp/agent/extensions/pygenium * edits to ~/.omp/agent/extensions/pygienium are overwritten by the next run.
* bun port-to-omp.mjs --out <dir> # write elsewhere (CI: the omp repo clone)
* *
* CI: .gitea/workflows/port-to-omp.yml clones the omp-pygienium repo and * CI: .gitea/workflows/port-to-omp.yml clones the omp-pygienium repo and
* runs this script into it, then commits + pushes when the port changed. * runs this script into it (`bun port-to-omp.mjs --out <dir>`), then
* commits + pushes when the port changed.
*/ */
import { import {