Skip to content

Build and Deploy GitHub Page #1375

Build and Deploy GitHub Page

Build and Deploy GitHub Page #1375

Workflow file for this run

name: Build and Deploy GitHub Page
on:
push:
branches:
- master
schedule:
- cron: "0 0 * * *"
workflow_dispatch:
jobs:
build-and-deploy:
runs-on: ubuntu-latest
strategy:
matrix:
node-version:
- 12
steps:
- name: Checkout
uses: actions/checkout@v2
with:
persist-credentials: false
- name: Use Node.js ${{ matrix.node-version }}
uses: actions/setup-node@v1
with:
node-version: ${{ matrix.node-version }}
- name: Install yarn
run: |
curl -o- -L https://yarnpkg.com/install.sh | bash -s -- --version 1.22.4
export PATH=$HOME/.yarn/bin:$PATH ;
yarn --version
- uses: actions/checkout@v1
- run: |
git submodule init
git submodule update
name: Checkout Theia
- run: |
cd theia
git fetch --tags
git reset --hard origin/master
name: Update to latest Theia
- name: Install and Build
run: |
npm i
npm run clean
npm run audit || true
npm run parse
- name: Deploy
uses: JamesIves/github-pages-deploy-action@v4.4.1
with:
token: ${{ secrets.GITHUB_TOKEN }}
branch: gh-pages
folder: docs
clean: true
git-config-name: 'bot'
git-config-email: <>
single-commit: true