add deployment

.github/workflows/doc.yaml

@@ -19,7 +19,3 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
-      - run: julia --project=docs docs/make.jl
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}

docs/make.jl

@@ -17,3 +17,8 @@ makedocs(
         )...
     ]
 )
+
+# optionally deploy docs to github pages
+deploydocs(
+    repo = "github.com/lamBOOO/SustainableSoftwareEngineering.jl.git",
+)