ci: use a Github actions to publish the Web app

Author: MangelMaxime

.github/workflows/publish.yml

@@ -29,6 +29,7 @@ jobs:
         version: 8
 
     - name: Publish
-      run: |
-        git remote set-url origin https://git:${GITHUB_TOKEN}@github.com/glutinum-org/cli.git
-        ./build.sh publish --web-only
+      uses: peaceiris/actions-gh-pages@v3
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: ./src/Glutinum.Web/dist

src/Glutinum.Build/Commands/Publish.fs

@@ -301,19 +301,16 @@ type PublishCommand() =
         if settings.IsWebOnly then
             Web.WebCommand().Execute(context, Web.WebSettings()) |> ignore
 
-            if Environment.GetEnvironmentVariable("CI") = "true" then
-                Command.Run(
-                    "npx",
-                    "gh-pages -d ./src/Glutinum.Web/dist/ -u \"github-actions-bot <[email protected]>\""
-                )
-            else
+            // If we are not in a CI environment, we can publish the web app
+            // Otherwise, we want to let the CI handle it
+            if Environment.GetEnvironmentVariable("CI") = null then
                 Command.Run("npx", "gh-pages -d ./src/Glutinum.Web/dist/")
 
-            // Reset the changes to the Prelude file, as we only needed it for the publish
-            Command.Run(
-                "git",
-                "checkout HEAD -- src/Glutinum.Converter/Prelude.fs"
-            )
+                // Reset the changes to the Prelude file, as we only needed it for the publish
+                Command.Run(
+                    "git",
+                    "checkout HEAD -- src/Glutinum.Converter/Prelude.fs"
+                )
 
             0
         else if Seq.isEmpty releaseContext.ReleaseCommits then