commit 826c4d817140a9fa51cf0a3141427e4214b1d44f
parent ac0cab2cec1e6f4281a29882675fbe139d441130
Author: Friedel Schön <[email protected]>
Date: Thu, 8 Jun 2023 19:01:43 +0200
./configure in website.yml
Diffstat:
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml
@@ -11,6 +11,9 @@ jobs:
- name: Check out
uses: actions/checkout@v3
+ - name: Configuring Environment
+ run: ./configure --verbose
+
- name: Generate Documentation
run: 'make documentation'