File tree 3 files changed +7
-2
lines changed
3 files changed +7
-2
lines changed Original file line number Diff line number Diff line change 1
1
name : CI
2
2
3
- on : push
3
+ on :
4
+ push :
5
+ branches : [master]
6
+ pull_request :
7
+ branches : [master]
4
8
5
9
jobs :
6
10
build :
Original file line number Diff line number Diff line change 2
2
3
3
[ ![ Latest release] ( http://img.shields.io/github/release/purescript/purescript-identity.svg )] ( https://github.com/purescript/purescript-identity/releases )
4
4
[ ![ Build status] ( https://github.com/purescript/purescript-identity/workflows/CI/badge.svg?branch=master )] ( https://github.com/purescript/purescript-identity/actions?query=workflow%3ACI+branch%3Amaster )
5
+ [ ![ Pursuit] ( https://pursuit.purescript.org/packages/purescript-identity/badge )] ( https://pursuit.purescript.org/packages/purescript-identity )
5
6
6
7
Identity value.
7
8
Original file line number Diff line number Diff line change 7
7
"devDependencies" : {
8
8
"pulp" : " ^15.0.0" ,
9
9
"purescript-psa" : " ^0.8.0" ,
10
- "rimraf" : " ^2.6 .2"
10
+ "rimraf" : " ^3.0 .2"
11
11
}
12
12
}
You can’t perform that action at this time.
0 commit comments