Skip to content

New principle: Identity on the web (#396) #103

New principle: Identity on the web (#396)

New principle: Identity on the web (#396) #103

Workflow file for this run

name: deploy
on:
push:
branches: [ main ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: actions/setup-python@v2
with:
python-version: '3.10'
- run: pip install bikeshed
- run: bikeshed update --skip-manifest
- run: make
- uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: build