@@ -2,30 +2,28 @@ name: CI
22
33on:
44 push:
5− branches: [main]
65 pull_request:
7− branches: [main]
86
97jobs:
108 build:
119 runs-on: ubuntu-latest
1210
1311 steps:
14− - uses: actions/checkout@v2
12+ - uses: actions/checkout@v4
1513
1614 - name: Set up a PureScript toolchain
1715 uses: purescript-contrib/setup-purescript@main
1816 with:
1917 purescript: "unstable"
2018 spago: "unstable"
21− purs-tidy: "latest"
19+ # purs-tidy: "latest"
2220
23− - uses: actions/setup-node@v2
21+ - uses: actions/setup-node@v4.3.0
2422 with:
2523 node-version: "20"
2624
2725 - name: Cache PureScript dependencies
28− uses: actions/cache@v2
26+ uses: actions/cache@v4
2927 with:
3028 key: ${{ runner.os }}-spago-${{ hashFiles('**/*.dhall') }}
3129 path: |
@@ -36,16 +34,10 @@ jobs:
3634 run: spago install
3735
3836 - name: Build source
39− run: spago build --no-install --purs-args '--censor-lib --strict'
37+ run: spago build
4038
4139 - name: Run tests
42− run: spago -x test.dhall test
40+ run: spago test
4341
44− - name: Check formatting
45− run: purs-tidy check src test
46−
47− - name: Verify Bower & Pulp
48− run: |
49− npm install bower pulp@16.0.1
50− npx bower install
51− npx pulp build -- --censor-lib --strict
42+ # - name: Check formatting
43+ # run: purs-tidy check src test