diff --git a/.github/workflows/github-pages.yml b/.github/workflows/github-pages.yml new file mode 100644 index 0000000..c813fb7 --- /dev/null +++ b/.github/workflows/github-pages.yml @@ -0,0 +1,58 @@ +--- +name: Github Pages + +on: + pull_request: + push: + branches: + - master + - "v*.*.*" +jobs: + cleanup-runs: + runs-on: ubuntu-latest + steps: + - uses: rokroskar/workflow-run-cleanup-action@master + env: + GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}" + if: "!startsWith(github.ref, 'refs/tags/') && github.ref != 'refs/heads/master'" + + docs: + # environment: + # name: github-pages + # url: ${{ steps.deployment.outputs.page_url }} + permissions: + contents: read + pages: write + id-token: write + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + + - uses: ./.github/actions/deps + + - name: Setup Pages + uses: actions/configure-pages@v3 + + - name: Generate documentation + shell: bash + env: + RUSTDOCFLAGS: "--cfg docsrs" + run: cargo doc --no-deps --all-features --workspace --exclude tenderdash-proto-compiler + + - name: Generate index page + shell: bash + run: | + cat > target/doc/index.html << EOF +
+ Click here + + EOF + + - name: Upload docs + uses: actions/upload-pages-artifact@v1 + with: + path: "target/doc" + + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v1