-
Louis Gesbert authored
It shouldn't be necessary since it's the default, but might help with child images that redefine HOME (apparently Github actions does that).
c40078c8
It shouldn't be necessary since it's the default, but might help with child images that redefine HOME (apparently Github actions does that).