commit 30ed628efa3142fe15624b27cb921d8d99d11984
author Davide Pesavento <davidepesa@gmail.com> Sun Jul 25 20:05:06 2021 -0400
committer Davide Pesavento <davidepesa@gmail.com> Fri Jul 30 19:36:53 2021 -0400
tree 7c5be2f8394dae890e0963e768d04add923b982d
parent 74cb28f6aa812fd266d1e7c15b025491a1d6ebd7

ci: add GitHub Actions

Change-Id: I586ea4dd76e5f4b3a9effc65402b6b4285a30faf

.github/workflows/docs.yml

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
new file mode 100644
index 0000000..ea32653
--- /dev/null
+++ b/.github/workflows/docs.yml
@@ -0,0 +1,33 @@
+name: Docs
+on:
+  push:
+  pull_request:
+  workflow_dispatch:
+
+jobs:
+  build:
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [macos-10.15, ubuntu-20.04]
+    runs-on: ${{ matrix.os }}
+    env:
+      JOB_NAME: Docs
+      WAF_JOBS: 3
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+      - name: Install dependencies
+        run: |
+          case ${RUNNER_OS} in
+            Linux) export NODE_LABELS="Linux Ubuntu Ubuntu-20.04" ;;
+            macOS) export NODE_LABELS="OSX OSX-10.15" ;;
+          esac
+          find .jenkins.d/ -type f -name '[1-9]*.sh' -exec chmod -x '{}' +
+          ./.jenkins
+      - name: Build documentation
+        run: |
+          ./waf --color=yes configure
+          ./waf --color=yes build --targets=version.hpp
+          ./waf --color=yes build --targets=manpages
+          ./waf --color=yes docs