diff options
| author | Yuriy Andamasov <yuriy@vyos.io> | 2026-07-02 21:36:12 +0300 |
|---|---|---|
| committer | Yuriy Andamasov <yuriy@vyos.io> | 2026-07-02 21:36:12 +0300 |
| commit | dda9045ba3dc04de3bbd21d21f7c359782a9526e (patch) | |
| tree | 5219b8796a4256b337da5b2194def96877cc445e /.github/workflows | |
| parent | 8d34ba3d61e0e2ea608866f0738060967447fc2e (diff) | |
| download | vyconf-dda9045ba3dc04de3bbd21d21f7c359782a9526e.tar.gz vyconf-dda9045ba3dc04de3bbd21d21f7c359782a9526e.zip | |
T9044: build committed protobuf bindings, skip regeneration
Add --ignore-promoted-rules to the CI dune build/runtest steps so the
committed src/*_pbt.ml (ocaml-protoc 2.x output) are used instead of
re-running the codegen rule. This matches how the package builds under
opam (dune build -p implies the same flag), avoiding both the 2.4 CLI
mismatch (--ml_out vs -ml_out) and 3.x's incompatible private-record API.
🤖 Generated by [robots](https://vyos.io)
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build.yml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 8a8537a..4732f2c 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -58,8 +58,13 @@ jobs: - name: Install dependencies run: opam install . --deps-only --with-test --yes + # --ignore-promoted-rules uses the committed src/*_pbt.ml instead of + # re-running the ocaml-protoc codegen (a (mode promote) rule). This is + # how the package is built via opam (`dune build -p` implies the same + # flag), so CI matches: the committed 2.x-generated bindings are used and + # ocaml-protoc is not invoked for codegen. - name: Build - run: opam exec -- dune build + run: opam exec -- dune build --ignore-promoted-rules - name: Run tests - run: opam exec -- dune runtest + run: opam exec -- dune runtest --ignore-promoted-rules |