Skip to content

Merge pull request #176 from edomora97/dependabot/github_actions/Jame… #128

Merge pull request #176 from edomora97/dependabot/github_actions/Jame…

Merge pull request #176 from edomora97/dependabot/github_actions/Jame… #128

Workflow file for this run

name: Docs
on:
push:
branches:
- master
workflow_dispatch:
jobs:
docs:
name: Build documentation
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install Deps
run: |
sudo apt update
sudo apt install -yy libseccomp-dev build-essential
- uses: dtolnay/rust-toolchain@stable
- name: cargo doc
run: cargo doc --color=always --no-deps --all
- name: Make index.html
run: |
echo '<meta http-equiv="Refresh" content="0; url=./task_maker/index.html">' > target/doc/index.html
- name: Publish
uses: JamesIves/[email protected]
with:
branch: gh-pages
folder: target/doc