From 4dfaf09e04e970430c2ac2e53e10894a682189b7 Mon Sep 17 00:00:00 2001 From: giles Date: Wed, 25 Mar 2026 00:36:57 +0000 Subject: [PATCH] Add lib/ to CI test Dockerfile MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Missed during spec/lib split — CI image copied spec/ and web/ but not lib/ (compiler, freeze, vm, etc.). Co-Authored-By: Claude Opus 4.6 (1M context) --- .gitea/Dockerfile.test | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitea/Dockerfile.test b/.gitea/Dockerfile.test index c6bd071..c6b9880 100644 --- a/.gitea/Dockerfile.test +++ b/.gitea/Dockerfile.test @@ -43,8 +43,9 @@ COPY --chown=opam:opam hosts/ocaml/dune-project ./hosts/ocaml/ COPY --chown=opam:opam hosts/ocaml/lib/ ./hosts/ocaml/lib/ COPY --chown=opam:opam hosts/ocaml/bin/ ./hosts/ocaml/bin/ -# Copy spec, web, shared (needed by bootstrappers + tests) +# Copy spec, lib, web, shared (needed by bootstrappers + tests) COPY --chown=opam:opam spec/ ./spec/ +COPY --chown=opam:opam lib/ ./lib/ COPY --chown=opam:opam web/ ./web/ COPY --chown=opam:opam shared/sx/ ./shared/sx/ COPY --chown=opam:opam shared/__init__.py ./shared/__init__.py