Add missing table info (#2) #4
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Github Pages | |
# By default, runs if you push to master. keeps your deployed app in sync with master branch. | |
on: | |
push: | |
branches: | |
- main | |
# to only run when you do a new github release, comment out above part and uncomment the below trigger. | |
# on: | |
# release: | |
# types: | |
# - published | |
permissions: | |
contents: write # for committing to gh-pages branch. | |
jobs: | |
build-github-pages: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v2 # repo checkout | |
- uses: actions-rs/toolchain@v1 # get rust toolchain for wasm | |
with: | |
profile: minimal | |
toolchain: stable | |
target: wasm32-unknown-unknown | |
override: true | |
- name: Download and install Trunk binary | |
run: wget -qO- https://github.com/thedodd/trunk/releases/latest/download/trunk-x86_64-unknown-linux-gnu.tar.gz | tar -xzf- | |
- name: Build # build | |
# "${GITHUB_REPOSITORY#*/}" evaluates into the name of the repository | |
# using --public-url something will allow trunk to modify all the href paths like from favicon.ico to repo_name/favicon.ico . | |
# this is necessary for github pages where the site is deployed to username.github.io/repo_name and all files must be requested | |
# relatively as eframe_template/favicon.ico. if we skip public-url option, the href paths will instead request username.github.io/favicon.ico which | |
# will obviously return error 404 not found. | |
run: ./trunk build --release # --public-url "${GITHUB_REPOSITORY#*/}" | |
- name: Deploy | |
uses: s0/git-publish-subdir-action@develop | |
env: | |
REPO: self | |
BRANCH: gh-pages | |
FOLDER: dist | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |