Skip to content

Add option to run agent container as privileged (#1808) #441

Add option to run agent container as privileged (#1808)

Add option to run agent container as privileged (#1808) #441

Workflow file for this run

# Simple workflow for deploying static content to GitHub Pages
name: Deploy mirrord rust-docs to gh-pages
on:
# Runs on pushes targeting the default branch
push:
branches: [main]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: write
pages: write
id-token: write
# Allow one concurrent deployment
concurrency:
group: ${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:
# Generates rust docs with `RUSTDOCFLAGS` flags, and push it to `gh-pages` branch.
deploy-rust-docs:
runs-on: ubuntu-latest
container: ghcr.io/metalbear-co/ci-docs-build:latest
env:
# enables the creation of a workspace index.html page.
RUSTDOCFLAGS: "--enable-index-page -Zunstable-options"
steps:
- uses: actions/checkout@v3
- uses: actions-rust-lang/setup-rust-toolchain@v1
with:
# TODO(alex): update this when https://github.com/rust-lang/rust/issues/109631 is fixed
toolchain: nightly-2023-04-19
- run: cargo doc --document-private-items
- name: Deploy rust docs 🚀🦀
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: target/doc # The folder the action should deploy