Remove old DOM API, WeakDynamic and Widgets.{Button, Input, RadioGrou… #155

	name: CI

	on:
	push:
	pull_request:

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2

	- name: Set up a PureScript toolchain
	uses: purescript-contrib/setup-purescript@main
	with:
	purescript: "0.15.0"
	psa: "latest"
	spago: "latest"

	- name: Cache NPM dependencies
	uses: actions/cache@v2
	with:
	key: ${{ runner.os }}-lerna-${{ hashFiles('**/package-lock.json') }}
	path: \|
	node_modules
	//node_modules

	- name: Cache PureScript dependencies
	uses: actions/cache@v2
	with:
	key: ${{ runner.os }}-spago-${{ hashFiles('*/.dhall') }}
	path: \|
	.spago
	output

	- name: Install chromium dependencies
	run: \|
	sudo apt-get update
	sudo apt-get -y install \
	gconf-service libasound2 libatk1.0-0 libc6 libcairo2 libcups2 libdbus-1-3 libexpat1 libfontconfig1 libgcc1 libgconf-2-4 libgdk-pixbuf2.0-0 \
	libglib2.0-0 libgtk-3-0 libnspr4 libpango-1.0-0 libpangocairo-1.0-0 libstdc++6 libx11-6 libx11-xcb1 libxcb1 libxcomposite1 libxcursor1 libxdamage1 \
	libxext6 libxfixes3 libxi6 libxrandr2 libxrender1 libxss1 libxtst6 ca-certificates fonts-liberation libappindicator1 libnss3 lsb-release xdg-utils

	- name: Install dependencies
	run: \|
	npm install
	spago install
	# spago install --config bench-spago.dhall

	- name: Build source
	run: spago build --no-install --purs-args '--censor-lib --strict'

	- name: Run tests
	run: npm run node-test

	- name: Run browser tests
	run: npm run browser-test

Provide feedback