Skip to content

deploy

deploy #10

Workflow file for this run

name: deploy
permissions:
id-token: write
pages: write
on:
# Allow manual starting of this workflow, including using `gh workflow run` in the release news workflow
workflow_dispatch:
push:
branches: [ gh-pages ]
jobs:
# Build job
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Setup Ruby
uses: ruby/setup-ruby@v1
- name: Rust Toolchain
uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: stable
components: rustfmt, clippy
override: true
- name: Install MdBook
uses: actions-rs/cargo@v1
with:
command: install
args: mdbook --no-default-features --features search --vers "^0.4"
- name: Install MdBook-alerts
uses: actions-rs/cargo@v1
with:
command: install
args: mdbook-alerts
- name: Build
run: |
bundle install
bundle exec jekyll build
- name: Upload artifact
uses: actions/upload-pages-artifact@v2
# Deployment job
deploy:
environment:
name: github-pages
url: ${{steps.deployment.outputs.page_url}}
runs-on: ubuntu-latest
needs: build
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v2