Andreas Dangel
|
d6ec50b20f
|
[ci] Include travis build number and commit range in commit messages
|
2018-06-30 16:20:01 +02:00 |
|
Andreas Dangel
|
6996b8e51d
|
[ci] Add more logging to build/deploy/release scripts
|
2018-06-30 16:05:55 +02:00 |
|
Andreas Dangel
|
a89d5413ab
|
[ci] [docs] Improved detection for changes in documentation
Now only updating docs on sourceforge, if there are changes
|
2018-06-20 20:57:27 +02:00 |
|
Andreas Dangel
|
d3482ecd58
|
[ci] [docs] Improved detection for changes in documentation
|
2018-06-20 20:08:30 +02:00 |
|
Andreas Dangel
|
8f49328bfa
|
[ci] [doc] Skip updating gh-pages, if only feed.xml changed
|
2018-06-19 09:04:08 +02:00 |
|
Andreas Dangel
|
0ed13477ad
|
[ci] [doc] call git config for the freshly cloned repo
|
2018-06-16 22:47:20 +02:00 |
|
Andreas Dangel
|
9df2aed725
|
Add logging
|
2018-05-31 13:06:39 +02:00 |
|
Andreas Dangel
|
0263f658c6
|
Merge branch 'master' into improve-doc-site-navigation
|
2018-05-31 13:04:53 +02:00 |
|
Andreas Dangel
|
39ca8e2e51
|
Make the commit quiet
|
2018-05-31 13:03:20 +02:00 |
|
Andreas Dangel
|
cce2ede528
|
Push the generated site to gh-pages branch
|
2018-05-31 12:41:00 +02:00 |
|
Andreas Dangel
|
19d65171bd
|
Rename colors.sh -> logger.sh
|
2018-05-24 19:20:12 +02:00 |
|
Andreas Dangel
|
281f151197
|
Use log_info, log_error, log_success functions instead of the colors
|
2018-05-24 19:18:57 +02:00 |
|
Andreas Dangel
|
ac9f0ac1d4
|
[ci] Add colors, don't fail the build/release if upload to sourceforge fails
|
2018-05-22 20:29:32 +02:00 |
|
Andreas Dangel
|
e737e38d73
|
[ci] check for var encrypted_5630fbebf057_iv in setup-secrets
This should now allow forked builds to finally run on travis...
|
2017-10-13 10:37:16 +02:00 |
|
Juan Martín Sotuyo Dodero
|
d5d32f996b
|
Make bash scripts executable
|
2017-07-27 21:43:34 -03:00 |
|
Andreas Dangel
|
0a4d212438
|
[ci] fix rsync paths
|
2017-07-25 21:14:08 +02:00 |
|
Andreas Dangel
|
ff0149fb7f
|
[ci] run jekyll directly without docker
|
2017-07-25 21:09:23 +02:00 |
|
Andreas Dangel
|
e432a32818
|
[ci] we seem to have some kind of permission problem
|
2017-07-25 20:40:58 +02:00 |
|
Andreas Dangel
|
5727dabd38
|
[doc] Add build script for PMD documentation, disable old site build
|
2017-07-23 11:00:52 +02:00 |
|