diff --git a/.devcontainer/experimental/Dockerfile b/.devcontainer/experimental/Dockerfile index e00cc16cf..8507b33a3 100644 --- a/.devcontainer/experimental/Dockerfile +++ b/.devcontainer/experimental/Dockerfile @@ -1,4 +1,4 @@ -FROM openinf/grimesai-salvage-tex:lunar +FROM openinf/grimesai-salvage-tex:lunar@sha256:85db277df2bb6b07922478085cd612a67a9a7d3923b09135a7f6bd9bd65ca89a ARG USERNAME=vscode ARG USER_UID=1000