use pyodide not binder on mude server

It seems that the mude webserver initializes the kernel in binder, not pyodide!!! See image.

changed milestone to %Thebe functionality Phase 1

added IT Thebe labels

assigned to @mguichard

@mguichard can you look into this one first? i want to get this straightened out before we ask the other teachers to use it

I am guessing this is because the build on the server does not use the steps in build-lite.sh

The build currently doesn't happen on the server - it happens in the CI. The server just downloads the latest artifacts that are generated by the CI.

The required fix for that would be to switch the pipeline to use ./build-lite.sh (if that's the only issue).

I've implemented a fix in !24 (merged). From my testing, it works fine now

Thanks Rok, I forgot to mention it before it got merged

assigned to @rstular and unassigned @mguichard

assigned to @mguichard and unassigned @rstular

mentioned in merge request !24 (merged)

closed with commit e67a2c4f

@rstular , this issue is closed, but the website still loads (or tries to) mybinder

i also saw that and created Issue #27 (closed) It looks like the pipeline failed so the website didn't build

reopened

closed

reopened

mentioned in commit e67a2c4f

closed