From 1b4df7c6090fd638e8450a772fa8d2793b022c5c Mon Sep 17 00:00:00 2001
From: InauguralPhysicist <InauguralPhysicist@gmail.com>
Date: Tue, 4 Aug 2026 07:58:58 -0500
Subject: [PATCH] bump: EigenScript pin v0.36.0 -> v0.37.0

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
---
 .devcontainer/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
index 60c7e51..858a869 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.36.0
+ARG EIGS_REF=v0.37.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 \