Deployed e26ce76 to develop with MkDocs 1.5.3 and mike 2.0.0

spiraldb · Dec 16, 2023 · d0d664c · d0d664c
1 parent 648fc81
commit d0d664c
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 8 deletions.
diff --git a/develop/sitemap.xml.gz b/develop/sitemap.xml.gz
diff --git a/develop/zig/data.js b/develop/zig/data.js
diff --git a/develop/zig/src/pydust/pydust.zig.html b/develop/zig/src/pydust/pydust.zig.html
@@ -246,13 +246,14 @@
 <span class="line" id="L120">    }</span>
 <span class="line" id="L121">    <span class="tok-kw">for</span> (<span class="tok-builtin">@typeInfo</span>(definition).Struct.decls) |d| {</span>
 <span class="line" id="L122">        <span class="tok-kw">const</span> value = <span class="tok-builtin">@field</span>(definition, d.name);</span>
-<span class="line" id="L123">        <span class="tok-kw">if</span> (State.findDefinition(value)) |_| {</span>
-<span class="line" id="L124">            <span class="tok-comment">// If it's a Pydust definition, then we identify it.</span>
+<span class="line" id="L123">        <span class="tok-builtin">@setEvalBranchQuota</span>(<span class="tok-number">10000</span>);</span>
+<span class="line" id="L124">        <span class="tok-kw">if</span> (State.findDefinition(value)) |_| {</span>
+<span class="line" id="L125">            <span class="tok-comment">// If it's a Pydust definition, then we identify it.</span>
 </span>
-<span class="line" id="L125">            State.identify(value, d.name ++ <span class="tok-str">&quot;&quot;</span>, definition);</span>
-<span class="line" id="L126">        }</span>
-<span class="line" id="L127">    }</span>
-<span class="line" id="L128">}</span>
-<span class="line" id="L129"></span>
+<span class="line" id="L126">            State.identify(value, d.name ++ <span class="tok-str">&quot;&quot;</span>, definition);</span>
+<span class="line" id="L127">        }</span>
+<span class="line" id="L128">    }</span>
+<span class="line" id="L129">}</span>
+<span class="line" id="L130"></span>
 </code></pre></body>
 </html>