Skip to content

Return the freed element in arena #86

Return the freed element in arena

Return the freed element in arena #86

Workflow file for this run

name: Update site
on:
push:
branches: [main]
permissions:
contents: write
jobs:
build_and_deploy:
name: 'Build and deploy'
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Get stable toolchain
uses: actions-rs/toolchain@v1
with:
toolchain: stable
override: true
- name: Build wasm-pack
run: |
cargo install wasm-pack
- name: Build site
run: |
./build_site
- name: Copy Prelude.hs
run: |
rm site/Prelude.hs
cp Prelude.hs site/Prelude.hs
- name: Deploy site
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: site