Skip to content

More tweaks, use . instead of _site on extract #14

More tweaks, use . instead of _site on extract

More tweaks, use . instead of _site on extract #14

Workflow file for this run

name: gh-pages
on:
push:
branches:
- "main"
- "doc-debug"
- "rkuris/doc-it-hurts-when-i-do-this"
env:
CARGO_TERM_COLOR: always
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions-rs/toolchain@v1
with:
toolchain: stable
override: true
- uses: arduino/setup-protoc@v2
- name: Build
run: cargo doc --no-deps
- name: Set up _site
run: |
rm -fr _site
mkdir _site
echo "<meta http-equiv=\"refresh\" content=\"0; url=firewood\">" > _site/index.html
- name: Copy doc files to _site
run: cp -r target/doc/* ./_site
- uses: actions/upload-artifact@v3
with:
name: pages
path: _site/
if-no-files-found: error
deploy:
needs: build
permissions:
pages: write
id-token: write
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
steps:
- name: Download pages artifact
uses: actions/download-artifact@v3
with:
name: pages
path: .
- name: Setup Pages
uses: actions/configure-pages@v3
- name: Upload artifact
uses: actions/upload-pages-artifact@v2
with:
path: .
- name: Deploy to GitHub pages
id: deployment
uses: actions/deploy-pages@v2