added caseof to parsre #49

	name: Depoy webdemo
	on:
	push:
	branches:
	- main
	jobs:
	ghcjs:
	name: Publish Web app
	runs-on: ubuntu-latest
	defaults:
	run:
	working-directory: './'
	permissions:
	contents: write

	steps:
	- uses: actions/checkout@v4
	- name: Install Node
	uses: actions/setup-node@v1
	with:
	node-version: 21
	- name: Install Pursescript
	run: npm install -g [email protected]
	- name: Install Spago
	run: npm install -g [email protected]
	- name: Install esbuild
	run: npm install -g esbuild
	- name: Build project
	run: make build
	- name: Move files
	run: \|
	mkdir ../public
	mv web-app/index.html ../public
	mv web-app/main.css ../public
	mv web-app/index.js ../public
	- name: Deploy
	uses: JamesIves/github-pages-deploy-action@v4
	with:
	folder: ../public
	git-config-name: one-sided-sc
	git-config-email: '<>'
	repository-name: ps-tuebingen/one-sided-sc-web
	ssh-key: ${{ secrets.ONE_SIDED_SSH }}
	commit-message: 'Deploy webdemo'
	single-commit: true

Provide feedback