From ef48615772171a591019b91f92738507713886ee Mon Sep 17 00:00:00 2001 From: InauguralPhysicist Date: Tue, 4 Aug 2026 19:28:11 -0500 Subject: [PATCH] bump: EigenScript pin v0.37.0 -> v0.38.0 Carries the rung-5 fleet-UI widgets (dock #848, hex_view #850). Suite preflighted locally against the real v0.38.0 tag before this bump. Co-Authored-By: Claude Fable 5 --- .devcontainer/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 858a869..c0c8860 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -18,7 +18,7 @@ RUN apt-get update \ # Build + install EigenScript at the pinned tag (binary on PATH, stdlib under # /usr/local/lib/eigenscript found relative to the binary). -ARG EIGS_REF=v0.37.0 +ARG EIGS_REF=v0.38.0 RUN git clone --depth 1 --branch "${EIGS_REF}" \ https://github.com/InauguralSystems/EigenScript.git /tmp/eigs \ && make -C /tmp/eigs install PREFIX=/usr/local CC=gcc \