Skip to content

Github Pages

Github Pages #56

Workflow file for this run

name: Github Pages
on:
workflow_run:
workflows: ["CI"]
types:
- completed
branches:
- master
jobs:
deploy:
runs-on: ubuntu-latest
if: ${{ github.event.workflow_run.conclusion == 'success' }}
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Setup Pixi
uses: prefix-dev/setup-pixi@v0.9.3
with:
pixi-version: v0.62.0
cache: true
- name: Build Book
run: pixi run book-build
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_branch: gh-pages
publish_dir: ./book/book
cname: createlang.rs
allow_empty_commit: true