Skip to content

Fix indentation

Fix indentation #16

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: Restore Cargo Cache
id: cargo-cache
uses: actions/cache/restore@v3
with:
path: |
~/.cargo/bin/
~/.cargo/registry/index/
~/.cargo/registry/cache/
~/.cargo/git/db/
target/
# We can do this now because we use specific verison and update with Dependabot
# but if we make the deps any less specifc, we'll have to fix
key: ${{ runner.os }}-deps-${{ hashFiles('**/Cargo.toml') }}-${{ hashFiles('**/*.rs') }}
# start from the previous set of cached dependencies
restore-keys: |
${{ runner.os }}-deps-${{ hashFiles('**/Cargo.toml') }}-
${{ runner.os }}-deps-
- name: Build
run: cargo doc --no-deps
- name: Set up _site redirect to firewood
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