Skip to content
Publish to GH Pages

Fix <do update> and <do replace> grammar and add an extra example (#73) #4

Sign in to view logs

Fix <do update> and <do replace> grammar and add an extra example (#73)

Fix <do update> and <do replace> grammar and add an extra example (#73) #4

Workflow file for this run

.github/workflows/gh-pages.yml at 74dd8d4
##
# Publish HTML to GH Pages
# - Runs the build script.
# - Moves relevant artifacts to publishing directory
# - Moves publishing directory contents to GH pages.
##
name: Publish to GH Pages
on:
push:
branches:
- main
jobs:
publish:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
- run: ls
- name: Build using Docker
run: /bin/bash ./build-docker.sh
- name: Move to Publish Directory
run: |
mkdir ./publish
mv ./build/PartiQL-Specification.html ./publish/index.html
mv ./build/images ./publish/
- name: Deploy to GH Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./publish