update docker

RussTedrake · Jan 25, 2025 · 499812e · 499812e
1 parent 8910304
commit 499812e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/book/Deepnote_docker_sha.txt b/book/Deepnote_docker_sha.txt
@@ -1 +1 @@
-0ba457c
+8910304
diff --git a/book/htmlbook b/book/htmlbook
+28 −3		BUILD.bazel
+5 −5		Developers.md
+0 −4		PoetryExport.sh
+1 −0		__init__.py
+14 −0		check_website.py
+4 −1		workflows/ci/jammy/test
+4 −1		workflows/ci/jammy/test_w_installed_deps