Precompilation for faster Pluto startup#1392

Closed

lungben wants to merge 4 commits intofonsp:mainfrom lungben:precompilation

+36

Commits on Aug 14, 2021

added precompilation script
lungben
committed

Commits on Aug 16, 2021

precompile nb_to_js
lungben
committed

Commits on Aug 22, 2021

more precompilations
lungben
committed

Commits on Sep 15, 2021

Merge remote-tracking branch 'origin/main' into precompilation
lungben
committed