pr05 Typescript Migration #17: Add typecheck to ci#3699

raclim merged 3 commits intoprocessing:developprocessing/p5.js-web-editor:developfrom

clairep94:add_typecheck_to_ciclairep94/p5.js-web-editor:add_typecheck_to_ciCopy head branch name to clipboard