Revision 432f6b6bf28dc2c6663c9e497158591a34d9648e authored by Marge Bot on 13 July 2022, 18:22:18 UTC, committed by Marge Bot on 13 July 2022, 18:22:18 UTC
Copy script-inputs/ files into script-inputs/ when building docker image Closes #3402 See merge request tezos/tezos!5868
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...