Revision a1eeaf04b47dfdc4d57d117a4ed51eeae199c237 authored by Pierre-Yves Strub on 05 May 2022, 08:02:38 UTC, committed by Pierre-Yves Strub on 05 May 2022, 13:14:49 UTC
This requires a modification of the docker image s.t. the user UID is compatible with the one used by Github Action
1 parent aab2ca4
Computing file changes ...
