tox.ini: Docker on Mac now needs $HOME too #30663
Description
Component: porting
Author: Matthias Koeppe
Branch/Commit: cf94357
Reviewer: Dima Pasechnik
Issue created by migration from https://trac.sagemath.org/ticket/30663
{{ message }}
Component: porting
Author: Matthias Koeppe
Branch/Commit: cf94357
Reviewer: Dima Pasechnik
Issue created by migration from https://trac.sagemath.org/ticket/30663