From fd527953948907f73782f09c60d317e421695413 Mon Sep 17 00:00:00 2001
From: Vishal Habib <vishalhabib99@gmail.com>
Date: Sun, 8 Nov 2026 13:23:01 -0500
Subject: [PATCH] Remove unrun unstable tutorials from worker output

The worker cleanup in .jenkins/build.sh still listed docs/prototype, but
the section is built into docs/unstable. Each worker kept its code-stripped
copy of every unstable tutorial, and the manager merge let a later worker's
stripped page overwrite the executed one, so only tutorials on the last
shard kept their code on the site.
---
 .jenkins/build.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.jenkins/build.sh b/.jenkins/build.sh
index 7fbcb340c1..cb8cf08a67 100755
--- a/.jenkins/build.sh
+++ b/.jenkins/build.sh
@@ -74,14 +74,14 @@ if [[ "${JOB_TYPE}" == "worker" ]]; then
   # Step 4: If any of the generated files are not related the tutorial files we want to run,
   # then we remove them
   set +x
-  for filename in $(find docs/beginner docs/intermediate docs/advanced docs/recipes docs/prototype -name '*.html'); do
+  for filename in $(find docs/beginner docs/intermediate docs/advanced docs/recipes docs/unstable -name '*.html'); do
     file_basename=$(basename $filename .html)
     if [[ ! " ${FILES_TO_RUN} " =~ " ${file_basename} " ]]; then
       echo "removing $filename"
       rm $filename
     fi
   done
-  for filename in $(find docs/beginner docs/intermediate docs/advanced docs/recipes docs/prototype -name '*.rst'); do
+  for filename in $(find docs/beginner docs/intermediate docs/advanced docs/recipes docs/unstable -name '*.rst'); do
     file_basename=$(basename $filename .rst)
     if [[ ! " ${FILES_TO_RUN} " =~ " ${file_basename} " ]]; then
       echo "removing $filename"
@@ -102,14 +102,14 @@ if [[ "${JOB_TYPE}" == "worker" ]]; then
       rm $filename
     fi
   done
-  for filename in $(find docs/_sources/beginner docs/_sources/intermediate docs/_sources/advanced docs/_sources/recipes -name '*.rst.txt'); do
+  for filename in $(find docs/_sources/beginner docs/_sources/intermediate docs/_sources/advanced docs/_sources/recipes docs/_sources/unstable -name '*.rst.txt'); do
     file_basename=$(basename $filename .rst.txt)
     if [[ ! " ${FILES_TO_RUN} " =~ " ${file_basename} " ]]; then
       echo "removing $filename"
       rm $filename
     fi
   done
-  for filename in $(find docs/.doctrees/beginner docs/.doctrees/intermediate docs/.doctrees/advanced docs/.doctrees/recipes docs/.doctrees/prototype -name '*.doctree'); do
+  for filename in $(find docs/.doctrees/beginner docs/.doctrees/intermediate docs/.doctrees/advanced docs/.doctrees/recipes docs/.doctrees/unstable -name '*.doctree'); do
     file_basename=$(basename $filename .doctree)
     if [[ ! " ${FILES_TO_RUN} " =~ " ${file_basename} " ]]; then
       echo "removing $filename"