Skip to content

Update publish directory in GitHub Pages workflow #5

Update publish directory in GitHub Pages workflow

Update publish directory in GitHub Pages workflow #5

Workflow file for this run

name: Build and Deploy Forge Docs
on:
push:
branches: ["forge-docs"]
jobs:
check:
strategy:
fail-fast: true
name: Foundry project
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
submodules: recursive
- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
with:
version: nightly
- name: Run Forge build
run: |
forge --version
forge build --sizes
id: build
- name: Run Forge doc
run: |
forge doc
id: doc
- name: Deploy GitHub Pages site
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs/src
publish_branch: gh-pages