Skip to content

Make source the main branch #10

Make source the main branch

Make source the main branch #10

Workflow file for this run

name: Build and Deploy
on:
push:
branches:
- source
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v2
- name: Set up Node.js
uses: actions/setup-node@v2
with:
node-version: '20'
- name: Install generate-docs dependencies
run: cd generate-docs; ./install-dependencies.sh
- name: Run generate-docs
run: cd generate-docs; ./build-docs.sh
- name: Install website dependencies
run: cd website; npm install
- name: Build website
run: cd website; npm run build
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./website/build/reasonml.github.io