Fix GitHub action to automate creation of SourceForge release

MatthewFluet · Dec 30, 2024 · 528d1c8 · 528d1c8
1 parent 72e05fa
commit 528d1c8
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/