From 29d2ad7ec381a4ec5647c5b1a4decf3065dd5c2d Mon Sep 17 00:00:00 2001 From: InauguralPhysicist Date: Fri, 3 Jul 2026 20:33:28 -0500 Subject: [PATCH] Bump pinned EigenScript runtime to v0.24.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Suite verified locally against the release binary before this bump (2026-07-03 sweep, 9/9 consumers green — incl. the #355/#374 semantics changes and the #374 cross-file bare-write audit). 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 c416724..bf9d54d 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -22,7 +22,7 @@ RUN apt-get update \ # Build + install EigenScript at the pinned tag onto /usr/local (binary on # PATH, stdlib at /usr/local/lib/eigenscript — found relative to the binary). -ARG EIGS_REF=v0.23.0 +ARG EIGS_REF=v0.24.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 \