Skip to content

Commit 72ba1ef

Browse files
authored
Update spago (#15)
1 parent 5a40769 commit 72ba1ef

File tree

8 files changed

+2251
-281
lines changed

8 files changed

+2251
-281
lines changed

.github/workflows/ci.yml

Lines changed: 14 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -10,19 +10,27 @@ jobs:
1010
runs-on: ubuntu-latest
1111

1212
steps:
13-
- uses: actions/checkout@v2
13+
- uses: actions/checkout@v4
1414

1515
- uses: purescript-contrib/setup-purescript@main
1616
with:
17-
purescript: "0.15.12"
18-
purs-tidy: "0.10.0"
19-
spago: "0.21.0"
17+
purescript: "0.15.15"
18+
purs-tidy: "latest"
19+
spago: "unstable"
20+
21+
- name: Cache PureScript dependencies
22+
uses: actions/cache@v4
23+
with:
24+
key: ${{ runner.os }}-spago-${{ hashFiles('**/spago.lock') }}
25+
path: |
26+
.spago
27+
output
2028
2129
- name: Build source
22-
run: spago build
30+
run: spago build --pure
2331

2432
- name: Run tests
25-
run: spago test --no-install
33+
run: spago test --pure
2634

2735
- name: Verify formatting
2836
run: purs-tidy check src test

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,3 +8,4 @@
88
/.purs*
99
/.psa*
1010
/.spago
11+
/.vscode

0 commit comments

Comments
 (0)