From 528d1c80a5a84569b52e5a480adb97e950727b71 Mon Sep 17 00:00:00 2001 From: Matthew Fluet Date: Mon, 30 Dec 2024 06:28:06 -0500 Subject: [PATCH] Fix GitHub action to automate creation of SourceForge release --- .github/workflows/sourceforge-release.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/sourceforge-release.yml b/.github/workflows/sourceforge-release.yml index a04d5092d..da811c086 100644 --- a/.github/workflows/sourceforge-release.yml +++ b/.github/workflows/sourceforge-release.yml @@ -1,6 +1,6 @@ name: SourceForge Release -on +on: workflow_dispatch: inputs: mlton-version: @@ -41,4 +41,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 }} mlton-webmaster,mlton@web.sourceforge.net:/home/project-web/mlton/htdocs/guide/