aboutsummaryrefslogtreecommitdiff
path: root/ci
AgeCommit message (Expand)Author
2019-08-15ci: Add note that this assumes a fresh git cloneMarcoFalke
2019-08-15ci: Use ./ci/ on non-travis hostMarcoFalke
2019-08-15ci: Remove dependence on travis, use it as fallback envMarcoFalke
2019-08-15ci: Add retryMarcoFalke
2019-08-15ci: Rename .travis/ to ./ci/MarcoFalke