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/