Skip to content

make non derived readonly fields writable from the ui #57

make non derived readonly fields writable from the ui

make non derived readonly fields writable from the ui #57

Workflow file for this run

on:
push:
branches:
- main
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Install pnpm
uses: pnpm/action-setup@v3
with:
version: '8.15.7'
- name: Install rust
uses: actions-rust-lang/setup-rust-toolchain@v1
- name: Install wasm-pack
run: curl https://rustwasm.github.io/wasm-pack/installer/init.sh -sSf | sh
- name: Build ic10lsp
run: |
RUST_BACKTRACE=1 cargo xtask build -p ic10lsp_wasm --release -- --
- name: Build ic10emu
run: |
RUST_BACKTRACE=1 cargo xtask build -p ic10emu_wasm --release -- --
- name: Build Page
run: |
cd www
pnpm install
pnpm build
- name: Fix permissions
run: |
chmod -c -R +rX "www/dist/" | while read line; do
echo "::warning title=Invalid file permissions automatically fixed::$line"
done
- name: Upload artifacts
uses: actions/upload-pages-artifact@v3
with:
path: www/dist
deploy:
needs: build
permissions:
pages: write
id-token: write
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@v4