diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 67c3a37c..0e509e5e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,7 +1,6 @@ name: Squiggle packages check on: - # push: # Delete this line if there becomes a scarcity of build minutes. pull_request: branches: - master @@ -51,7 +50,7 @@ jobs: name: Language build and test runs-on: ubuntu-latest needs: pre_check - if: ${{ needs.pre_check.outputs.should_skip_lang != 'true'}} + if: ${{ needs.pre_check.outputs.should_skip_lang != 'true' }} defaults: run: shell: bash diff --git a/packages/squiggle-lang/lint.sh b/packages/squiggle-lang/lint.sh index 06a22b8e..42faeda9 100755 --- a/packages/squiggle-lang/lint.sh +++ b/packages/squiggle-lang/lint.sh @@ -8,7 +8,7 @@ errors=false for file in $files do 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)` if [ ${#diff} -gt 0 ]