path to rescript executable in lint.sh
This commit is contained in:
parent
3689caa1fc
commit
3f2cd652d4
3
.github/workflows/ci.yml
vendored
3
.github/workflows/ci.yml
vendored
|
@ -1,7 +1,6 @@
|
||||||
name: Squiggle packages check
|
name: Squiggle packages check
|
||||||
|
|
||||||
on:
|
on:
|
||||||
# push: # Delete this line if there becomes a scarcity of build minutes.
|
|
||||||
pull_request:
|
pull_request:
|
||||||
branches:
|
branches:
|
||||||
- master
|
- master
|
||||||
|
@ -51,7 +50,7 @@ jobs:
|
||||||
name: Language build and test
|
name: Language build and test
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
needs: pre_check
|
needs: pre_check
|
||||||
if: ${{ needs.pre_check.outputs.should_skip_lang != 'true'}}
|
if: ${{ needs.pre_check.outputs.should_skip_lang != 'true' }}
|
||||||
defaults:
|
defaults:
|
||||||
run:
|
run:
|
||||||
shell: bash
|
shell: bash
|
||||||
|
|
|
@ -8,7 +8,7 @@ errors=false
|
||||||
for file in $files
|
for file in $files
|
||||||
do
|
do
|
||||||
current=`cat $file`
|
current=`cat $file`
|
||||||
linted=`echo "${current}" | rescript format -stdin .res`
|
linted=`echo "${current}" | ./node_modules/.bin/rescript format -stdin .res`
|
||||||
diff=`diff <(echo $current) <(echo $linted)`
|
diff=`diff <(echo $current) <(echo $linted)`
|
||||||
|
|
||||||
if [ ${#diff} -gt 0 ]
|
if [ ${#diff} -gt 0 ]
|
||||||
|
|
Loading…
Reference in New Issue
Block a user