Open
Description
When first building stdlib, it takes a while for the playground to respond because it takes a while to build stdlib. Building and running programs that use stdlib subsequently is faster because the stdlib is reused, at least for this running session of the backend server.
I wonder if it would be a good idea and easy to implement to pre-build any built-in libraries (for now just stdlib) at docker build
stage, rather than at server run time?