tree 860c143fefe93f023d431f3087d28a8ed1536136
parent 7fb26a35bb2b8c4e4a0b8f3ba7755cf1b6dc078f
author Olle Jonsson <olle.jonsson@gmail.com> 1585925779 +0200
committer Olle Jonsson <olle.jonsson@gmail.com> 1585925779 +0200

CI: Pick OpenJDK8, which exists