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

Merged

saulshanabrook merged 17 commits intomainfrom

copilot/fix-71104912-561003658-9ac438cb-9ef7-4c89-a867-98c9c8bbfad8

Nov 3, 2025

Commits on Nov 3, 2025

Initial plan
Copilot
committed
Initial plan for fixing docs build

Copilot
and
saulshanabrook
committed
Make docs build fail on notebook execution errors

Copilot
and
saulshanabrook
committed
Fix getting-started tutorial by removing @egraph.class_ decorator and updating API usage

Copilot
and
saulshanabrook
committed
Configure docs build to fail on errors and exclude broken tutorials

Copilot
and
saulshanabrook
committed
Address PR review: fix all @egraph.class_ issues, remove sg_execution_times.rst, fix double run

Copilot
and
saulshanabrook
committed
Remove sg_execution_times.rst (auto-generated file)

Copilot
and
saulshanabrook
committed
Fix remaining docs execution and update tutorial
saulshanabrook
committed
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot]
committed
Fix warning
saulshanabrook
committed
Don't emit so much duplicate info when an error is produced
saulshanabrook
committed
Fix talk
saulshanabrook
committed
Add changelog entry for PR #369
actions-user
committed
Merge pull request #372 from egraphs-good/codex/github-mention-make-docs-builds-fail-on-notebook-execution
saulshanabrook
authored
Merge branch 'main' into copilot/fix-71104912-561003658-9ac438cb-9ef7-4c89-a867-98c9c8bbfad8
saulshanabrook
committed
Always return py error first before checking egglog errors
saulshanabrook
committed
Fix remaining doc isssue
saulshanabrook
committed