Skip to content

Allow usage of ASCII logic symbols #5

Allow usage of ASCII logic symbols

Allow usage of ASCII logic symbols #5

on: [push]
jobs:
publish:
runs-on: ubuntu-latest
permissions:
contents: read
deployments: write
name: Publish to Cloudflare Pages
steps:
- name: Checkout
uses: actions/checkout@v3
- uses: pnpm/action-setup@v2
with:
version: 8
- name: Build frontend
run: |
rustup target add wasm32-wasi
cargo build --target "wasm32-wasi" --lib --release
mkdir interactive/public
cp target/wasm32-wasi/release/predicate_logic_visualizer.wasm interactive/public/predicate_logic_visualizer.wasm
cd interactive
pnpm install
pnpm run build
- name: Publish to Cloudflare Pages
uses: cloudflare/pages-action@v1
with:
apiToken: ${{ secrets.CLOUDFLARE_API_TOKEN }}
accountId: ${{ secrets.CLOUDFLARE_ACCOUNT_ID }}
projectName: predicate-logic-visualizer
directory: interactive/dist
gitHubToken: ${{ secrets.GITHUB_TOKEN }}