Update GitHub Actions to use upload-artifact@v4

17 months ago, Edouard Tisserant