From 7e574d2a4f97a05c4e2ffa5f3896161cd42aa799 Mon Sep 17 00:00:00 2001 From: Matthew Fluet Date: Tue, 31 Dec 2024 06:43:55 -0500 Subject: [PATCH] Fix upload of guide archive in SourceForge release workflow --- .github/workflows/sourceforge-release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/sourceforge-release.yml b/.github/workflows/sourceforge-release.yml index b947c8dc5..c867db6d2 100644 --- a/.github/workflows/sourceforge-release.yml +++ b/.github/workflows/sourceforge-release.yml @@ -42,4 +42,4 @@ jobs: mv localhost ${{ inputs.mlton-version }} tar czf guide-${{ inputs.mlton-version }}.tgz ${{ inputs.mlton-version }} rsync -azP --delete -e ssh ${{ inputs.mlton-version }} mlton-webmaster,mlton@web.sourceforge.net:/home/project-web/mlton/htdocs/guide/ - rsync -azP --delete -e ssh guide-${{ inputs.mlton-version }} mlton-webmaster,mlton@web.sourceforge.net:/home/project-web/mlton/htdocs/guide/ + rsync -azP --delete -e ssh guide-${{ inputs.mlton-version }}.tgz mlton-webmaster,mlton@web.sourceforge.net:/home/project-web/mlton/htdocs/guide/