commit da2d66e0ebbd2b1dd413bece35776acaf82737ea
parent c149129c0abda1c7e9fec7453bf0f1cdaace04d4
Author: Friedel Schön <[email protected]>
Date: Thu, 8 Jun 2023 14:15:50 +0200
adding docs and manuals to check-workflow
Diffstat:
1 file changed, 6 insertions(+), 0 deletions(-)
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -14,3 +14,9 @@ jobs:
- name: Build Binaries
run: make binary
+
+ - name: Build Documentation
+ run: make documentation
+
+ - name: Build Manuals
+ run: make manual