File tree 8 files changed +1235
-64
lines changed
8 files changed +1235
-64
lines changed Original file line number Diff line number Diff line change @@ -2,36 +2,36 @@ name: CI
2
2
3
3
on :
4
4
push :
5
- branches : [master]
5
+ branches : [master, main ]
6
6
pull_request :
7
+ branches : [master, main]
7
8
8
9
jobs :
9
10
build :
10
11
runs-on : ubuntu-latest
11
12
steps :
12
- - uses : actions/checkout@v2
13
+ - uses : actions/checkout@v4
13
14
14
- - uses : purescript-contrib/setup-purescript@main
15
+ - name : Set up a PureScript toolchain
16
+ uses : purescript-contrib/setup-purescript@main
17
+ with :
18
+ purescript : " latest"
19
+ purs-tidy : " latest"
20
+ spago : " unstable"
15
21
16
- - uses : actions/setup-node@v2
22
+ - name : Cache PureScript dependencies
23
+ uses : actions/cache@v4
17
24
with :
18
- node-version : " 14"
25
+ key : ${{ runner.os }}-spago-${{ hashFiles('**/spago.lock') }}
26
+ path : |
27
+ .spago
28
+ output
19
29
20
- - name : Install dependencies
21
- run : npm install
30
+ - name : Build source
31
+ run : spago build --censor-stats --strict --pedantic-packages
22
32
23
- - name : Build source (spago)
24
- run : spago build
25
-
26
- - name : Run tests (spago)
27
- run : spago test
28
-
29
- - name : Build source (pulp)
30
- run : |
31
- npx bower install --production
32
- npx pulp build
33
+ - name : Run tests
34
+ run : spago test --offline --censor-stats --strict --pedantic-packages -- --censor-codes=UserDefinedWarning
33
35
34
- - name : Run tests (pulp)
35
- run : |
36
- npx bower install
37
- npx pulp test
36
+ - name : Verify formatting
37
+ run : purs-tidy check src test
Original file line number Diff line number Diff line change 18
18
" test" ,
19
19
" gulpfile.js" ,
20
20
" package.json"
21
- ],
22
- "dependencies" : {
23
- "purescript-maybe" : " ^6.0.0" ,
24
- "purescript-integers" : " ^6.0.0" ,
25
- "purescript-strings" : " ^6.0.0"
26
- },
27
- "devDependencies" : {
28
- "purescript-console" : " ^6.0.0" ,
29
- "purescript-assert" : " ^6.0.0" ,
30
- "purescript-quickcheck" : " ^8.0.0" ,
31
- "purescript-quickcheck-laws" : " ^7.0.0" ,
32
- "purescript-psci-support" : " ^6.0.0" ,
33
- "purescript-effect" : " ^4.0.0"
34
- }
21
+ ]
35
22
}
Original file line number Diff line number Diff line change 6
6
"test" : " spago test"
7
7
},
8
8
"dependencies" : {
9
- "big-integer" : " ^1.6.51 "
9
+ "big-integer" : " ^1.6.52 "
10
10
},
11
11
"devDependencies" : {
12
- "bower" : " ^1.8.12 " ,
13
- "pulp" : " ^16.0.0 " ,
14
- "purescript-psa" : " ^0.8.2 " ,
15
- "rimraf" : " ^3 .0.2 "
12
+ "bower" : " ^1.8.14 " ,
13
+ "pulp" : " ^16.0.2 " ,
14
+ "purescript-psa" : " ^0.9.0 " ,
15
+ "rimraf" : " ^6 .0.1 "
16
16
},
17
17
"type" : " module"
18
18
}
Load Diff This file was deleted.
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments