-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* π exclude `dist` * π¨ turn `visual_math` into an library * β visual_math: add serde * π§ visual_math: fix compilation settings * β¨ setup live demo * π· add workflow to build and publish live demo
- Loading branch information
1 parent
ecebcbc
commit 1de4996
Showing
20 changed files
with
725 additions
and
35 deletions.
There are no files selected for viewing
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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,57 @@ | ||
name: Github Pages | ||
|
||
on: | ||
push: | ||
branches: | ||
- main | ||
|
||
permissions: | ||
contents: write # for committing to gh-pages branch. | ||
|
||
jobs: | ||
build: | ||
runs-on: ubuntu-latest | ||
steps: | ||
- uses: actions/checkout@v4 # repo checkout | ||
|
||
- name: Setup toolchain for wasm | ||
run: | | ||
rustup update stable | ||
rustup default stable | ||
rustup set profile minimal | ||
rustup target add wasm32-unknown-unknown | ||
- name: Rust Cache # cache the rust build artefacts | ||
uses: Swatinem/rust-cache@v2 | ||
|
||
- 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 | ||
# Environment $public_url resolves to the github project page. | ||
# If using a user/organization page, remove the `${{ github.event.repository.name }}` part. | ||
# 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 $public_url | ||
env: | ||
public_url: 'https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}' | ||
|
||
- name: Upload artifact | ||
uses: actions/upload-pages-artifact@v2 | ||
with: | ||
path: ./dist | ||
|
||
deploy: | ||
needs: build | ||
|
||
environment: | ||
name: github-pages | ||
url: ${{ steps.deployment.outputs.page_url }} | ||
|
||
runs-on: ubuntu-latest | ||
steps: | ||
- name: Deploy to GitHub Pages | ||
id: deployment | ||
uses: actions/deploy-pages@v2 |
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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1,2 @@ | ||
/target | ||
/dist |
Oops, something went wrong.