diff --git a/test/blackbox-tests/test-cases/workspaces/custom-context-names.t b/test/blackbox-tests/test-cases/workspaces/custom-context-names.t
new file mode 100644
index 000000000000..8d37eabbdd37
--- /dev/null
+++ b/test/blackbox-tests/test-cases/workspaces/custom-context-names.t
@@ -0,0 +1,26 @@
+
+  $ cat > dune-workspace << EOF
+  > (lang dune 3.13)
+  > (context default)
+  > (context
+  >  (default
+  >   (name log)))
+  > EOF
+
+  $ dune build
+  File "dune-workspace", line 5, characters 8-11:
+  5 |   (name log)))
+              ^^^
+  Error: "log" is an invalid context name.
+  [1]
+
+  $ cat > dune-workspace << EOF
+  > (lang dune 3.13)
+  > (context default)
+  > (context
+  >  (default
+  >   (name install)))
+  > EOF
+  $ dune build 2>&1 | grep "must not crash"
+
+