Make docs builds fail on notebook execution errors and fix all doc issues

docs/conf.py

@@ -115,6 +115,7 @@
     "**.ipynb_checkpoints",
     "auto_examples/*.ipynb",
     # "auto_examples/*.md5",
+    "conf.py",
 ]
 nitpicky = True
 
@@ -164,7 +165,7 @@
 # nb_execution_cache_path = ''
 
 # Exclude (POSIX) glob patterns for notebooks
-# nb_execution_excludepatterns = ()
+nb_execution_excludepatterns = ("explanation/*", "reference/*")
 
 # Execution timeout (seconds)
 nb_execution_timeout = 60 * 10
@@ -176,7 +177,7 @@
 # nb_execution_allow_errors = False
 
 # Raise an exception on failed execution, rather than emitting a warning
-nb_execution_raise_on_error = False
+nb_execution_raise_on_error = True
 
 # Print traceback to stderr on execution error
 nb_execution_show_tb = True

docs/sg_execution_times.rst

@@ -0,0 +1,70 @@
+
+:orphan:
+
+.. _sphx_glr_sg_execution_times:
+
+
+Computation times
+=================
+**00:00.402** total execution time for 12 files **from all galleries**:
+
+.. container::
+
+  .. raw:: html
+
+    <style scoped>
+    <link href="https://cdnjs.cloudflare.com/ajax/libs/twitter-bootstrap/5.3.0/css/bootstrap.min.css" rel="stylesheet" />
+    <link href="https://cdn.datatables.net/1.13.6/css/dataTables.bootstrap5.min.css" rel="stylesheet" />
+    </style>
+    <script src="https://code.jquery.com/jquery-3.7.0.js"></script>
+    <script src="https://cdn.datatables.net/1.13.6/js/jquery.dataTables.min.js"></script>
+    <script src="https://cdn.datatables.net/1.13.6/js/dataTables.bootstrap5.min.js"></script>
+    <script type="text/javascript" class="init">
+    $(document).ready( function () {
+        $('table.sg-datatable').DataTable({order: [[1, 'desc']]});
+    } );
+    </script>
+
+  .. list-table::
+   :header-rows: 1
+   :class: table table-striped sg-datatable
+
+   * - Example
+     - Time
+     - Mem (MB)
+   * - :ref:`sphx_glr_auto_examples_lambda_.py` (``../python/egglog/examples/lambda_.py``)
+     - 00:00.167
+     - 0.0
+   * - :ref:`sphx_glr_auto_examples_fib.py` (``../python/egglog/examples/fib.py``)
+     - 00:00.112
+     - 0.0
+   * - :ref:`sphx_glr_auto_examples_ndarrays.py` (``../python/egglog/examples/ndarrays.py``)
+     - 00:00.044
+     - 0.0
+   * - :ref:`sphx_glr_auto_examples_matrix.py` (``../python/egglog/examples/matrix.py``)
+     - 00:00.018
+     - 0.0
+   * - :ref:`sphx_glr_auto_examples_jointree.py` (``../python/egglog/examples/jointree.py``)
+     - 00:00.014
+     - 0.0
+   * - :ref:`sphx_glr_auto_examples_multiset.py` (``../python/egglog/examples/multiset.py``)
+     - 00:00.012
+     - 0.0
+   * - :ref:`sphx_glr_auto_examples_resolution.py` (``../python/egglog/examples/resolution.py``)
+     - 00:00.009
+     - 0.0
+   * - :ref:`sphx_glr_auto_examples_bool.py` (``../python/egglog/examples/bool.py``)
+     - 00:00.008
+     - 0.0
+   * - :ref:`sphx_glr_auto_examples_higher_order_functions.py` (``../python/egglog/examples/higher_order_functions.py``)
+     - 00:00.006
+     - 0.0
+   * - :ref:`sphx_glr_auto_examples_eqsat_basic.py` (``../python/egglog/examples/eqsat_basic.py``)
+     - 00:00.005
+     - 0.0
+   * - :ref:`sphx_glr_auto_examples_schedule_demo.py` (``../python/egglog/examples/schedule_demo.py``)
+     - 00:00.004
+     - 0.0
+   * - :ref:`sphx_glr_auto_examples_bignum.py` (``../python/egglog/examples/bignum.py``)
+     - 00:00.003
+     - 0.0