Skip to content
Snippets Groups Projects
Commit 915a48b3 authored by dgelessus's avatar dgelessus
Browse files

Install JDK and not just JRE on Binder

Necessary because we build the kernel on Binder and don't just download
a pre-built jar.
parent 0b19d24e
No related branches found
No related tags found
No related merge requests found
Pipeline #157337 passed