Commit c40078c8 authored by Louis Gesbert's avatar Louis Gesbert
Browse files

Hardcode the OPAMROOT

It shouldn't be necessary since it's the default, but might help with child
images that redefine HOME (apparently Github actions does that).
parent 144ec61f
Pipeline #13052 failed with stages
in 17 seconds