File tree 5 files changed +1309
-63
lines changed
5 files changed +1309
-63
lines changed Original file line number Diff line number Diff line change @@ -10,35 +10,35 @@ jobs:
10
10
build :
11
11
runs-on : ubuntu-latest
12
12
steps :
13
- - uses : actions/checkout@v3
13
+ - uses : actions/checkout@v4
14
14
15
15
- uses : purescript-contrib/setup-purescript@main
16
16
with :
17
17
purescript : " unstable"
18
18
purs-tidy : " latest"
19
+ spago-next : " unstable"
19
20
20
- - uses : actions/setup-node@v3
21
- with :
22
- node-version : " lts/*"
21
+ # - uses: actions/setup-node@v4
22
+ # with:
23
+ # node-version: "lts/*"
23
24
24
- - name : Install dependencies
25
- run : |
26
- npm install -g bower
27
- npm install
28
- bower info purescript-node-buffer --verbose
29
- bower install --production
25
+ # - name: Install dependencies
26
+ # run: |
27
+ # npm install -g bower
28
+ # npm install
29
+ # bower info purescript-node-buffer --verbose
30
+ # bower install --production
30
31
31
32
- name : Build source
32
- run : npm run-script build
33
+ run : spago build
33
34
34
35
- name : Run tests
35
36
run : |
36
- bower install
37
- npx pulp test
38
- npx pulp test --main Test.Main1
39
- npx pulp test --main Test.Main2
40
- npx pulp test --main Test.Main3 -- <(head --bytes 1000000 /dev/zero)
41
- npx pulp test --main Test.Main4
37
+ spago test
38
+ spago test --main Test.Main1
39
+ spago test --main Test.Main2
40
+ spago test --main Test.Main3 -- <(head --bytes 1000000 /dev/zero)
41
+ spago test --main Test.Main4
42
42
43
43
- name : Check formatting
44
44
run : |
Load Diff This file was deleted.
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments