Skip to content

[Dynamic Lifetime] Fix typo: "releases" #139

[Dynamic Lifetime] Fix typo: "releases"

[Dynamic Lifetime] Fix typo: "releases" #139

Workflow file for this run

on:
pull_request:
branches:
- main
push:
branches:
- main
jobs:
main:
name: Setup, build, and Deploy to gh-pages branch
runs-on: ubuntu-20.04
steps:
- name: Checking out the main branch
uses: actions/checkout@v2
- name: Setting up Python 3.7
uses: actions/setup-python@v2
with:
python-version: '3.7'
- name: Installing and updating Bikeshed
run: pip3 install bikeshed && bikeshed update
shell: bash
- name: Building index.html from index.bs
run: bash ./compile.sh
shell: bash
- name: Deploying to gh-pages branch
if: github.event_name == 'push'
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./