Skip to content

Merge branch 'master' into master #83

Merge branch 'master' into master

Merge branch 'master' into master #83

Workflow file for this run

name: github pages
on:
push:
branches:
- master
jobs:
build-deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- name: Build
run: java -jar ./tools/ant/ant-launcher.jar
- name: Install SSH Client
uses: webfactory/[email protected]
with:
ssh-private-key: ${{ secrets.DEPLOY_KEY }}
- name: Deploy
uses: JamesIves/github-pages-deploy-action@releases/v3
with:
BASE_BRANCH: master
BRANCH: gh-pages
FOLDER: json
SSH: true