Skip to content

Catch errors in pluto notebooks#28

Merged
j-fu merged 2 commits intomainfrom
fix/catchplutonotebookerrors
Jan 9, 2026
Merged

Catch errors in pluto notebooks#28
j-fu merged 2 commits intomainfrom
fix/catchplutonotebookerrors

Commits

Commits on Jan 9, 2026