Merge pull request MLton#590 from MatthewFluet/sourceforge-release-wo…

…rkflow Fix GitHub action to automate creation of SourceForge release
MatthewFluet · Dec 30, 2024 · 74673d4 · 74673d4
2 parents 72e05fa + 528d1c8
commit 74673d4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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,[email protected]:/home/project-web/mlton/htdocs/guide/
-rsync -azP --delete -e ssh guide-${{ inputs.mlton-version }} mlton-webmaster,[email protected]:/home/project-web/mlton/htdocs/guide/
+          rsync -azP --delete -e ssh guide-${{ inputs.mlton-version }} mlton-webmaster,[email protected]:/home/project-web/mlton/htdocs/guide/