From b4a9474a41f5813cb3bc21de86056a5c2453a4f3 Mon Sep 17 00:00:00 2001
From: Lambert Theisen <lambert.theisen@rwth-aachen.de>
Date: Wed, 22 Nov 2023 09:02:24 +0100
Subject: [PATCH] try upload
---
.github/workflows/doc.yaml | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/.github/workflows/doc.yaml b/.github/workflows/doc.yaml
index 8e84f44..4d5e246 100644
--- a/.github/workflows/doc.yaml
+++ b/.github/workflows/doc.yaml
@@ -19,3 +19,7 @@ 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 }}
--
GitLab