2016-08-07 16:01:16 +02:00
|
|
|
language: node_js
|
|
|
|
|
sudo: false
|
|
|
|
|
node_js:
|
2018-11-18 20:42:51 +01:00
|
|
|
- '10'
|
2016-08-07 16:01:16 +02:00
|
|
|
branches:
|
|
|
|
|
only:
|
|
|
|
|
- gh-pages
|
|
|
|
|
script:
|
2018-10-13 13:40:25 +02:00
|
|
|
- npm install -g @mapbox/mapbox-gl-style-spec
|
2017-01-10 17:28:29 +01:00
|
|
|
- gl-style-validate style.json
|
2019-10-12 12:14:40 +02:00
|
|
|
- diff <(gl-style-format style.json) style.json
|
