Skip to content

Make bosatsu.tool package, move some items from MainModule (#1321) #159

Make bosatsu.tool package, move some items from MainModule (#1321)

Make bosatsu.tool package, move some items from MainModule (#1321) #159

Workflow file for this run

name: Build and Deploy to GitHub Pages
permissions:
contents: write
on:
push:
branches:
- main
jobs:
build-and-deploy:
runs-on: ubuntu-latest
env:
BOSATSU_CI: "true"
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
steps:
- uses: "actions/checkout@v2"
- uses: "coursier/cache-action@v2"
- name: "java 11 setup"
uses: "olafurpg/setup-scala@v13"
with:
java-version: "11"
- name: "build app"
run: |
export NODE_OPTIONS=--openssl-legacy-provider
sbt "jsuiJS/fullOptJS::webpack; docs/paradox"
mkdir web_deploy
mkdir web_deploy/compiler
cp -a docs/target/paradox/site/main/* web_deploy
cp jsui/index.html web_deploy/compiler/
cp jsui/.js/target/scala-2.13/scalajs-bundler/main/bosatsu-jsui-opt-bundle.js web_deploy/compiler/bosatsu_ui.js
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./web_deploy