Commit graph

19 commits

Author SHA1 Message Date
Jörg Thalheim
2290918707 ci: make travis output less verbose 2018-07-21 15:12:09 +01:00
Jörg Thalheim
126df71d94 improve gitlab support 2018-07-16 11:06:08 -04:00
Jörg Thalheim
04d8a06b24 make scripts names more consistent 2018-07-15 13:48:51 -04:00
Jörg Thalheim
73e9be1371 travis: fix condition for exporting ssh keys 2018-07-15 10:23:58 -04:00
Jörg Thalheim
9af9706268 travis: also export ssh key for api triggered rebuilds 2018-07-15 10:17:12 -04:00
Jörg Thalheim
00124ab1c8 travis: fix condition when to update repository 2018-07-15 10:10:36 -04:00
Jörg Thalheim
0e09e7b419 also update repository via api 2018-07-15 09:45:31 -04:00
Jörg Thalheim
3f515f8bab test & automate format of repos.json
fixes #12
2018-07-01 13:56:51 +01:00
Jörg Thalheim
8e42c602ef don't unset environment 2018-06-29 22:45:14 +01:00
Jörg Thalheim
eea33c0e02 use nix-shell shebang rather then travis's python 2018-06-29 22:38:17 +01:00
Jörg Thalheim
8c491f926b Only decrypt deploy key in travis cronjobs 2018-06-29 22:33:54 +01:00
Jörg Thalheim
ed6326fb1e switch back to travis.com 2018-06-29 15:28:25 +01:00
Jörg Thalheim
819ac726ce travis: push current HEAD to master 2018-06-29 15:12:05 +01:00
Jörg Thalheim
0390269f21 fix push url 2018-06-29 15:08:11 +01:00
Jörg Thalheim
18baa79a40 travis: only push repos in cron jobs 2018-06-29 13:06:01 +01:00
Jörg Thalheim
259973f0cc travis: correct python version 2018-06-29 12:59:53 +01:00
Jörg Thalheim
a093afd23a deploy.sh: fix path to update script 2018-06-29 12:51:49 +01:00
Jörg Thalheim
c41c9da24c update deploy key 2018-06-29 12:50:04 +01:00
Jörg Thalheim
2210822b27 add auto-update script 2018-06-29 12:45:20 +01:00