Skip to content

Rerun repository rule if manifests changed (#3117) #1111

Rerun repository rule if manifests changed (#3117)

Rerun repository rule if manifests changed (#3117) #1111

Workflow file for this run

name: Docs-CI/CD
on:
push:
branches:
- main
jobs:
docs:
name: Docs
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
- name: Run tests
run: bazel run --compilation_mode=opt --stamp //:publish_book
working-directory: docs
- name: Deploy to GitHub Pages
uses: JamesIves/[email protected]
with:
branch: gh-pages # The branch the action should deploy to.
folder: docs/book # The folder the action should deploy.