Hi,
Just to let you know that, looking at https://prosemirror.net/examples/codemirror/ I can only see an empty squashed rectangle on my side.
No errors in the console.
Thanks for letting me know! The build had crashed and somehow left the script empty. Should be better now.