Skip to content

Merge pull request #72 from cvxgrp/dependabot/github_actions/JamesIve… #163

Merge pull request #72 from cvxgrp/dependabot/github_actions/JamesIve…

Merge pull request #72 from cvxgrp/dependabot/github_actions/JamesIve… #163

Workflow file for this run

name: deploy-book
on:
push
# This job installs dependencies, builds the book, and pushes it to `gh-pages`
jobs:
deploy-book:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
# Build the book
- name: Build the book
shell: bash
run: |
make build
- name: Branch
shell: bash
id: target
run: |
echo "Branch: ${{ github.ref }}"
if ${{ github.ref == 'refs/heads/main' }}; then
echo "branch=gh-pages" >> $GITHUB_OUTPUT
else
echo "branch=draft" >> $GITHUB_OUTPUT
fi
- name: Publish book
uses: JamesIves/[email protected]
with:
branch: ${{ steps.target.outputs.branch }} # The branch the action should deploy to.
folder: book/_build/html # The folder the action should deploy.