Skip to content

Update carpet-extra.md #39

Update carpet-extra.md

Update carpet-extra.md #39

Workflow file for this run

name: Deploy
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
build:
permissions:
actions: write
checks: write
contents: write
deployments: write
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Build
run: |
cargo install mdbook
mdbook build
- uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/main' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./book