From f43b0e68cada607dac5a5bfc6c13cdf23e61d192 Mon Sep 17 00:00:00 2001
From: Lambert Theisen <lambert.theisen@rwth-aachen.de>
Date: Wed, 22 Nov 2023 09:09:16 +0100
Subject: [PATCH] add deployment
---
.github/workflows/doc.yaml | 4 ----
docs/make.jl | 5 +++++
2 files changed, 5 insertions(+), 4 deletions(-)
diff --git a/.github/workflows/doc.yaml b/.github/workflows/doc.yaml
index 4d5e246..8e84f44 100644
--- a/.github/workflows/doc.yaml
+++ b/.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 }}
diff --git a/docs/make.jl b/docs/make.jl
index bf7ef2f..29c2d4f 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -17,3 +17,8 @@ makedocs(
)...
]
)
+
+# optionally deploy docs to github pages
+deploydocs(
+ repo = "github.com/lamBOOO/SustainableSoftwareEngineering.jl.git",
+)
--
GitLab