Skip to content

Use new spago, purescript-overlay #72

Use new spago, purescript-overlay

Use new spago, purescript-overlay #72

Workflow file for this run

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