commit e8c82ef8a111549a713c53440310479d502f2099
author Davide Pesavento <davidepesa@gmail.com> Wed Jul 28 02:38:51 2021 -0400
committer Davide Pesavento <davidepesa@gmail.com> Fri Jul 30 19:50:03 2021 -0400
tree 52fc69921ea5538cc87424a5e9f1b9bce175c6f5
parent a209f6747f403f12be32bede27ac6e7859e99988

ci: add GitHub Actions

Change-Id: Ic7ed7356fef4af465843b44a5cefd0458c78774d

.github/workflows/docs.yml

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
new file mode 100644
index 0000000..adccec2
--- /dev/null
+++ b/.github/workflows/docs.yml
@@ -0,0 +1,31 @@
+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=manpages