privacyguides/privacytools.io
Archived
1
0
Fork 0
Code Issues 304 Pull Requests 47 Activity

Add files for Travis CI #696

Merged
ghost merged 6 commits from master into master 2018-12-27 16:08:36 +00:00
Conversation 2 Commits 6 Files Changed 2 +19
2 changed files with 19 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 5ccb4ad879 - Show all commits

4
.travis.yml
View File

@ -13,7 +13,3 @@ script: ./.github/ci_build
Vincevrp commented 2018-12-27 15:54:33 +00:00 (Migrated from github.com)
Review
Copy Link

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.
Vincevrp commented 2018-12-27 15:54:33 +00:00 (Migrated from github.com)
Review
Copy Link

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.
Vincevrp commented 2018-12-27 15:55:59 +00:00 (Migrated from github.com)
Review
Copy Link

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.
Vincevrp commented 2018-12-27 15:55:59 +00:00 (Migrated from github.com)
Review
Copy Link

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
cache: bundler # caching bundler gem packages will speed up build
Vincevrp commented 2018-12-27 15:54:33 +00:00 (Migrated from github.com)
Review
Copy Link

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.
Vincevrp commented 2018-12-27 15:55:59 +00:00 (Migrated from github.com)
Review
Copy Link

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.
# Optional: disable email notifications about the outcome of your builds
Vincevrp commented 2018-12-27 15:54:33 +00:00 (Migrated from github.com)
Review
Copy Link

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.
Vincevrp commented 2018-12-27 15:55:59 +00:00 (Migrated from github.com)
Review
Copy Link

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.
notifications:
Vincevrp commented 2018-12-27 15:54:33 +00:00 (Migrated from github.com)
Review
Copy Link

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.
Vincevrp commented 2018-12-27 15:55:59 +00:00 (Migrated from github.com)
Review
Copy Link

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.
email: false
Vincevrp commented 2018-12-27 15:54:33 +00:00 (Migrated from github.com)
Review
Copy Link

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.
Vincevrp commented 2018-12-27 15:55:59 +00:00 (Migrated from github.com)
Review
Copy Link

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.

Vincevrp commented 2018-12-27 15:54:33 +00:00 (Migrated from github.com)
Review
Copy Link

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.
Vincevrp commented 2018-12-27 15:54:33 +00:00 (Migrated from github.com)
Review
Copy Link

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.
Vincevrp commented 2018-12-27 15:55:59 +00:00 (Migrated from github.com)
Review
Copy Link

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.
Vincevrp commented 2018-12-27 15:55:59 +00:00 (Migrated from github.com)
Review
Copy Link

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.