From ca999059e8e1d70d1d1418429259a1395a526158 Mon Sep 17 00:00:00 2001 From: InauguralPhysicist Date: Mon, 6 Jul 2026 18:19:06 -0500 Subject: [PATCH] ci: bump pinned EigenScript runtime v0.26.0 -> v0.27.0 Verified locally against the v0.27.0 content pre-tag (full suite green in the verify-before-bump sweep; zero W017 sites from the #405 one call rule, no chr or tape-version exposure). 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 c29e908..7004b16 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -21,7 +21,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.26.0 +ARG EIGS_REF=v0.27.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 \