From 8df612b880539197e4c3378da99d008acdb193d9 Mon Sep 17 00:00:00 2001 From: InauguralPhysicist Date: Mon, 17 Aug 2026 23:41:24 -0500 Subject: [PATCH] Bump EigenScript pin v0.39.0 -> v0.40.0 --- .devcontainer/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 2a1b3a8..f2e1809 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -44,7 +44,7 @@ RUN apt-get update \ # Full EigenScript source at the pinned tag; build the gfx variant (the # binary hard-links to src/eigenscript, which finds lib/ next to it). -ARG EIGS_REF=v0.39.0 +ARG EIGS_REF=v0.40.0 RUN git clone --depth 1 --branch "${EIGS_REF}" \ https://github.com/InauguralSystems/EigenScript.git /opt/eigenscript \ && make -C /opt/eigenscript gfx CC=gcc