leanprover-community/NNG4

Failed to load resource: net::ERR_CONTENT_LENGTH_MISMATCH

Closed this issue · 3 comments

jameshfisher commented

Hi! I was hoping to use this to run a tutorial, but when I visit https://adam.math.hhu.de/, I get the error: GET https://adam.math.hhu.de/bundle.js net::ERR_CONTENT_LENGTH_MISMATCH 206 (Partial Content). This happens on Chrome and Firefox.

joneugster commented

Hi Jim,

Sorry for that, minor problems with the server that are fixed now! Let me know if you still experience problems.

jameshfisher commented

Amazing! Thank you! 🙏