Convert Pluto notebooks to HTML in automated workflows
Updated Pluto to version 0.19.41 (the Pluto version is pinned because this package depends on Pluto internals).
Merged pull requests:
Fixed a long-standing bug which would misalign some Documenter.jl HTML elements on pages which (1) were using PlutoStaticHTML inside Documenter and (2) were on a level below the top level in the menu. Also updated Pluto to version 0.19.40 (the Pluto version is pinned because this package depends on Pluto internals).
Merged pull requests:
Fixed a bug in the logic for printing stacktraces. Also updated Pluto to version 0.19.39 (the Pluto version is pinned because this package depends on Pluto internals).
Merged pull requests:
Closed issues:
TypeError: in typeassert
error in _throw_if_error
(#169)