More sane tabs layout #21
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 main. keeps your deployed app in sync with main branch. | |
| on: | |
| push: | |
| branches: | |
| - master | |
| # 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@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 crates/opensi-editor/index.html | |
| env: | |
| public_url: "https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}" | |
| - name: Deploy | |
| uses: JamesIves/github-pages-deploy-action@v4.6.7 | |
| with: | |
| folder: crates/opensi-editor/dist | |
| # this option will not maintain any history of your previous pages deployment | |
| # set to false if you want all page build to be committed to your gh-pages branch history | |
| single-commit: true |