diff --git a/.github/workflows/spell-checking.yml b/.github/workflows/spell-checking.yml new file mode 100644 index 0000000..dd0ac35 --- /dev/null +++ b/.github/workflows/spell-checking.yml @@ -0,0 +1,16 @@ +name: "Spelling" +on: [pull_request] + +jobs: + spell-checking: + name: misspell + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + - name: misspell + uses: reviewdog/action-misspell@v1 + with: + reporter: github-pr-review + github_token: ${{ secrets.github_token }} + level: warning + locale: "US" diff --git a/binder/trigger_binder.sh b/binder/trigger_binder.sh deleted file mode 100644 index 30cec27..0000000 --- a/binder/trigger_binder.sh +++ /dev/null @@ -1,27 +0,0 @@ -#!/usr/bin/env bash -# this code is taken from: -# https://github.com/scikit-hep/uproot/blob/master/binder/trigger_binder.sh - -function trigger_binder() { - local URL="${1}" - - curl -L --connect-timeout 10 --max-time 30 "${URL}" - curl_return=$? - - # Return code 28 is when the --max-time is reached - if [ "${curl_return}" -eq 0 ] || [ "${curl_return}" -eq 28 ] ; then - if [[ "${curl_return}" -eq 28 ]]; then - printf "\nBinder build started.\nCheck back soon.\n" - fi - else - return "${curl_return}" - fi - return 0 -} - -function main() { - # 1: the Binder build API URL to curl - trigger_binder "$1" -} - -main "$@" || exit 1