diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml new file mode 100644 index 00000000..f0bd301e --- /dev/null +++ b/.github/workflows/pages.yml @@ -0,0 +1,39 @@ +name: pages + +on: + push: + branches: + - main + +jobs: + build: + runs-on: ubuntu-latest + steps: + - name: Checkout Gosling + uses: actions/checkout@v3 + with: + submodules: true + - name: Install Dependencies + run: | + sudo apt-get update + sudo apt-get install -y libboost-all-dev + cargo install tarpaulin + sudo apt-get install -y doxygen + - name: Build Docs + run: | + make docs + - name: Build Code Coverage + run: | + make coverage-offline + - name: Move Outputs + run: | + mkdir pages + mv out/release/gosling/crates/gosling-ffi/html pages/libcgosling + mv out/release/gosling/crates/doc pages/gosling + mv out/release/gosling/tarpaulin-offline pages/coverage + ln -s tarpaulin-report.html pages/coverage/index.html + - name: Deploy to Github Pages + uses: peaceiris/actions-gh-pages@v3 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: pages