Hello @VFRMau,
That is indeed the workflow that I used.
Your script above is just copying the file on its own, but updating the date/time, right? Something that should even be irrelevant if you copy a new file in the Community folder (implying that you have to update the layout.json file to update the filesize as well). I even build the wasm file directly into the community folder, spares me one copy action.
But thanks anyway!