Merge pull request #6959 from phadej/remove-travis-scripts
Remove travis scripts
No related branches found
No related tags found
Showing
- cabal.project.local.travis 0 additions, 32 deletionscabal.project.local.travis
- travis-bootstrap.sh 0 additions, 57 deletionstravis-bootstrap.sh
- travis-common.sh 0 additions, 53 deletionstravis-common.sh
- travis-deploy.sh 0 additions, 27 deletionstravis-deploy.sh
- travis-install.sh 0 additions, 88 deletionstravis-install.sh
- travis-meta.sh 0 additions, 25 deletionstravis-meta.sh
- travis-script.sh 0 additions, 197 deletionstravis-script.sh
- travis-solver-debug-flags.sh 0 additions, 9 deletionstravis-solver-debug-flags.sh
- travis-stack.sh 0 additions, 21 deletionstravis-stack.sh
- travis/README.md 0 additions, 84 deletionstravis/README.md
- travis/binaries/.travis.yml 0 additions, 33 deletionstravis/binaries/.travis.yml
- travis/binaries/travis-cleanup.sh 0 additions, 8 deletionstravis/binaries/travis-cleanup.sh
- travis/binaries/travis-test.sh 0 additions, 52 deletionstravis/binaries/travis-test.sh
- travis/id_rsa.pub 0 additions, 1 deletiontravis/id_rsa.pub
- travis/id_rsa.rot13 0 additions, 27 deletionstravis/id_rsa.rot13
- travis/upload.sh 0 additions, 105 deletionstravis/upload.sh
Loading
Please register or sign in to comment