diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
index 55e38d5..c416724 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.21.2
+ARG EIGS_REF=v0.23.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 \