Skip to content

Move smoke wrapper to tools/ (#5) #7

Move smoke wrapper to tools/ (#5)

Move smoke wrapper to tools/ (#5) #7

Workflow file for this run

name: Deploy Pages site
on:
push:
branches:
- main
paths:
- 'web/**'
- '.github/workflows/deploy-pages.yml'
workflow_dispatch:
permissions:
contents: write
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Assemble GitHub Pages site
run: |
mkdir -p _site
cp -r web/* _site/
touch _site/.nojekyll
- name: Deploy to gh-pages
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: _site
publish_branch: gh-pages