Skip to content

add logging

add logging #1257

Workflow file for this run

name: GitHub Pages
on:
workflow_dispatch:
push:
branches:
- main
# tags:
# - "[0-9]+.[0-9]+.[0-9]+"
permissions:
contents: write
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: "recursive"
fetch-depth: 10
- uses: actions/setup-node@v4
with:
node-version: "20"
cache: yarn
- run: yarn install --frozen-lockfile
- name: Typecheck
run: yarn typecheck
- name: Compile
run: yarn compile
- name: Build slides
run: yarn build:slides
- name: Build docs
run: yarn build:docs
- name: no jekyll
run: touch docs/dist/.nojekyll
- name: Deploy 🚀
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: docs/dist
single-commit: true