Merge pull request #9 from pete-murphy/replace-jsdate-with-datetime #35

	name: CI

	# Run CI when a PR is opened against the branch `main`
	# and when one pushes a commit to `main`.
	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]

	# Run CI on all 3 latest OSes
	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2

	- uses: purescript-contrib/setup-purescript@main
	with:
	purescript: "0.15.9"
	purs-tidy: "0.10.0"
	psa: "0.8.2"
	spago: "0.21.0"

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

	- name: Set up Node toolchain
	uses: actions/setup-node@v2
	with:
	node-version: "18"

	# Compile the library/project
	# censor-lib: ignore warnings emitted by dependencies
	# strict: convert warnings into errors
	# Note: `purs-args` actually forwards these args to `psa`
	- name: Build the project
	run: \|
	spago build --purs-args "--censor-lib --strict"

	- name: Run tests
	run: \|
	spago -x test.dhall test

	- name: Check Formatting
	run: \|
	purs-tidy check src test

Provide feedback