Add files for Travis CI #696
@ -3,11 +3,11 @@ rvm:
|
|||||||
|
|||||||
- 2.4.1
|
- 2.4.1
|
||||||
|
|
||||||
before_script:
|
before_script:
|
||||||
- chmod +x ./script/cibuild # or do this locally and commit
|
- chmod +x ./.github/ci_build # or do this locally and commit
|
||||||
![]() I suggest we move the script to the root of the repository. Also please add a I suggest we move the script to the root of the repository. Also please add a `.sh` extension.
![]() Is this required? I think github saves file permissions so you can just make it executable and commit it like that. Is this required? I think github saves file permissions so you can just make it executable and commit it like that.
![]() I suggest we move the script to the root of the repository. Also please add a I suggest we move the script to the root of the repository. Also please add a `.sh` extension.
![]() Is this required? I think github saves file permissions so you can just make it executable and commit it like that. Is this required? I think github saves file permissions so you can just make it executable and commit it like that.
|
|||||||
|
|
||||||
# Assume bundler is being used, therefore
|
# Assume bundler is being used, therefore
|
||||||
# the `install` step will run `bundle install` by default.
|
# the `install` step will run `bundle install` by default.
|
||||||
script: ./script/cibuild
|
script: ./.github/ci_build
|
||||||
![]() I suggest we move the script to the root of the repository. Also please add a I suggest we move the script to the root of the repository. Also please add a `.sh` extension.
![]() Is this required? I think github saves file permissions so you can just make it executable and commit it like that. Is this required? I think github saves file permissions so you can just make it executable and commit it like that.
![]() I suggest we move the script to the root of the repository. Also please add a I suggest we move the script to the root of the repository. Also please add a `.sh` extension.
![]() Is this required? I think github saves file permissions so you can just make it executable and commit it like that. Is this required? I think github saves file permissions so you can just make it executable and commit it like that.
|
|||||||
|
|
||||||
|
|
||||||
sudo: false # route your build to the container-based infrastructure for a faster build
|
sudo: false # route your build to the container-based infrastructure for a faster build
|
||||||
|
|||||||
![]() I suggest we move the script to the root of the repository. Also please add a I suggest we move the script to the root of the repository. Also please add a `.sh` extension.
![]() I suggest we move the script to the root of the repository. Also please add a I suggest we move the script to the root of the repository. Also please add a `.sh` extension.
![]() Is this required? I think github saves file permissions so you can just make it executable and commit it like that. Is this required? I think github saves file permissions so you can just make it executable and commit it like that.
![]() Is this required? I think github saves file permissions so you can just make it executable and commit it like that. Is this required? I think github saves file permissions so you can just make it executable and commit it like that.
|
I suggest we move the script to the root of the repository. Also please add a
.sh
extension.I suggest we move the script to the root of the repository. Also please add a
.sh
extension.Is this required? I think github saves file permissions so you can just make it executable and commit it like that.
Is this required? I think github saves file permissions so you can just make it executable and commit it like that.