CI: integrate the docs workflow with Generaptor

Author: ForNeVeR

.github/workflows/docs.yml

@@ -1,44 +1,40 @@
-# SPDX-FileCopyrightText: 2024 Friedrich von Never <friedrich@fornever.me>
+# SPDX-FileCopyrightText: 2024-2026 TruePath contributors <https://github.com/ForNeVeR/TruePath>
 #
 # SPDX-License-Identifier: MIT
 
+# This file is auto-generated.
 name: Docs
 on:
   push:
     branches:
-      - main
-  workflow_dispatch:
-
+    - main
+  workflow_dispatch: 
+concurrency:
+  group: pages
+  cancel-in-progress: false
 permissions:
   actions: read
-  pages: write
   id-token: write
-
-concurrency:
-  group: "pages"
-  cancel-in-progress: false
-
+  pages: write
 jobs:
   publish-docs:
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-24.04
     steps:
-      - name: Checkout
-        uses: actions/checkout@v6
-      - name: Dotnet Setup
-        uses: actions/setup-dotnet@v5
-        with:
-          dotnet-version: 8.x
-
-      - run: dotnet tool restore
-      - run: dotnet docfx docs/docfx.json
-
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v4
-        with:
-          path: 'docs/_site'
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4
+    - name: Checkout
+      uses: actions/checkout@v6
+    - name: Set up .NET SDK
+      uses: actions/setup-dotnet@v5
+      with:
+        dotnet-version: 8.x
+    - run: dotnet tool restore
+    - run: dotnet docfx docs/docfx.json
+    - name: Upload artifact
+      uses: actions/upload-pages-artifact@v4
+      with:
+        path: docs/_site
+    - id: deployment
+      name: Deploy to GitHub Pages
+      uses: actions/deploy-pages@v4

.github/workflows/main.yml

@@ -1,3 +1,7 @@
+# SPDX-FileCopyrightText: 2024-2026 TruePath contributors <https://github.com/ForNeVeR/TruePath>
+#
+# SPDX-License-Identifier: MIT
+
 # This file is auto-generated.
 name: Main
 on:

.github/workflows/main.yml.license

@@ -1,3 +1,7 @@
+# SPDX-FileCopyrightText: 2024-2026 TruePath contributors <https://github.com/ForNeVeR/TruePath>
+#
+# SPDX-License-Identifier: MIT
+
 # This file is auto-generated.
 name: Release
 on:

.github/workflows/release.yml

@@ -34,9 +34,7 @@ EndProject
 Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "workflows", "workflows", "{55C1E2A5-1630-4C22-A403-65DA2B1B969D}"
 	ProjectSection(SolutionItems) = preProject
 		.github\workflows\main.yml = .github\workflows\main.yml
-		.github\workflows\main.yml.license = .github\workflows\main.yml.license
 		.github\workflows\release.yml = .github\workflows\release.yml
-		.github\workflows\release.yml.license = .github\workflows\release.yml.license
 		.github\workflows\docs.yml = .github\workflows\docs.yml
 	EndProjectSection
 EndProject

.github/workflows/release.yml.license

@@ -1,6 +1,9 @@
-// SPDX-FileCopyrightText: 2024-2026 TruePath contributors <https://github.com/ForNeVeR/TruePath>
-//
-// SPDX-License-Identifier: MIT
+let licenseHeader = """
+# SPDX-FileCopyrightText: 2024-2026 TruePath contributors <https://github.com/ForNeVeR/TruePath>
+#
+# SPDX-License-Identifier: MIT
+
+# This file is auto-generated.""".Trim()
 
 #r "nuget: Generaptor.Library, 1.9.0"
 
@@ -28,6 +31,11 @@ let workflows = [
         onWorkflowDispatch
     ]
 
+    let workflow name actions = workflow name [
+        header licenseHeader
+        yield! actions
+    ]
+
     workflow "main" [
         name "Main"
         yield! mainTriggers
@@ -123,6 +131,52 @@ let workflows = [
             ]
         ]
     ]
+
+    workflow "docs" [
+        name "Docs"
+        onPushTo "main"
+        onWorkflowDispatch
+        workflowPermission(PermissionKind.Actions, AccessKind.Read)
+        workflowPermission(PermissionKind.Pages, AccessKind.Write)
+        workflowPermission(PermissionKind.IdToken, AccessKind.Write)
+        workflowConcurrency(
+            group = "pages",
+            cancelInProgress = false
+        )
+        job "publish-docs" [
+            environment(name = "github-pages", url = "${{ steps.deployment.outputs.page_url }}")
+            runsOn "ubuntu-24.04"
+            step(
+                name = "Checkout",
+                usesSpec = Auto "actions/checkout"
+            )
+            step(
+                name = "Set up .NET SDK",
+                usesSpec = Auto "actions/setup-dotnet",
+                options = Map.ofList [
+                    "dotnet-version", "8.x"
+                ]
+            )
+            step(
+                run = "dotnet tool restore"
+            )
+            step(
+                run = "dotnet docfx docs/docfx.json"
+            )
+            step(
+                name = "Upload artifact",
+                usesSpec = Auto "actions/upload-pages-artifact",
+                options = Map.ofList [
+                    "path", "docs/_site"
+                ]
+            )
+            step(
+                name = "Deploy to GitHub Pages",
+                id = "deployment",
+                usesSpec = Auto "actions/deploy-pages"
+            )
+        ]
+    ]
 ]
 
 exit <| EntryPoint.Process fsi.CommandLineArgs workflows