Attempt to build and publish generated docs to github-pages

singagan · Aug 29, 2021 · 07135e4 · 07135e4
1 parent 58cc927
commit 07135e4
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/.github/workflows/buildAndTest.yml b/.github/workflows/buildAndTest.yml
@@ -160,6 +160,17 @@ jobs:
             -DLLVM_EXTERNAL_LIT=`pwd`/../llvm/build/bin/llvm-lit
           make -j$(nproc)
 
+      - name: Generate Docs
+        run: |
+          cd build_release
+          make docs
+
+      - name: Publish to github-pages
+        uses: peaceiris/actions-gh-pages@v3.6.1
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./build_release/docs
+
       # --------
       # Lint the code.
       # -------
@@ -264,4 +275,3 @@ jobs:
             echo "================"
           fi
 
-    # --- end of build-repo job.