Alternative to #515. Use ghcr.io/graalvm/graalvm-ce for docker images, and update to 20.3.1 (closest version published there). A couple of options had errors, which I've just commented out for now. Let's see how the integration tests go.
Ok, this is building successfully and passing the integration tests now. I'll merge now to unblock CI, and we can continue looking into the Graal upgrade via #411.
Alternative to #515. Use
ghcr.io/graalvm/graalvm-ce
for docker images, and update to20.3.1
(closest version published there). A couple of options had errors, which I've just commented out for now. Let's see how the integration tests go.