Skip to content

Merge branch 'dep_bot_8093-aac7b29f' into 'main' #58

Merge branch 'dep_bot_8093-aac7b29f' into 'main'

Merge branch 'dep_bot_8093-aac7b29f' into 'main' #58

Workflow file for this run

# ci.yml file for GitHub Actions
name: CI
on:
push:
branches:
- main
jobs:
build_and_lint:
runs-on: ubuntu-latest
steps:
- name: Checkout the repository
uses: actions/checkout@v2
- name: Setup Node.js
uses: actions/setup-node@v2
- name: Install dependencies
run: npm install
- name: Create the docs directory locally in CI
run: npm run makeDocs
- name: Deploy 🚀
uses: JamesIves/github-pages-deploy-action@4.1.4
with:
branch: gh-pages
folder: docs