diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-10-18 19:14:30 +0200 |
---|---|---|
committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-10-18 19:34:19 +0200 |
commit | 566040d928e0a8d5a43bd026f31ac7085f4f7762 (patch) | |
tree | e3d7f5e372b82a23c641d86d2a1ca7100fb23819 | |
parent | 4f15d1fd92d3c476622916637608a7d8be19f62a (diff) |
Travis CI: Remove pre-commit jobs
-rw-r--r-- | .travis.yml | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/.travis.yml b/.travis.yml index 5e2bf502a1..f532f2b95d 100644 --- a/.travis.yml +++ b/.travis.yml @@ -25,38 +25,6 @@ env: jobs: include: - - name: pre-commit - if: type != pull_request - language: python - python: 3.7 - # There are too many files in the repo that have formatting issues. We'll - # disable these checks for now when pushing directly (but still run these - # on Pull Requests!). - env: SKIP=end-of-file-fixer,trailing-whitespace,clang-format,eslint - cache: - directories: - - $HOME/.cache/pre-commit - before_install: - - pip install pre-commit==2.5.1 - script: - - pre-commit run --all-files - addons: [] - - - name: pre-commit-pr - if: type == pull_request - language: python - python: 3.7 - cache: - directories: - - $HOME/.cache/pre-commit - before_install: - - pip install pre-commit==2.5.1 - script: - # HEAD is the not yet integrated PR merge commit +refs/pull/xxxx/merge - # HEAD^1 is the PR target branch and HEAD^2 is the HEAD of the source branch - - pre-commit run --from-ref HEAD^1 --to-ref HEAD --show-diff-on-failure - addons: [] - - name: Ubuntu/gcc/SCons build compiler: gcc # Ubuntu Bionic build prerequisites |