2 Commits (6373cb598e1a4e0340583ad75d5abba01ff79774)

Author SHA1 Message Date
SZEDER Gábor 9cc2c76f5e travis-ci: record and skip successfully built trees 7 years ago
Lars Schneider 657343a602 travis-ci: move Travis CI code into dedicated scripts 7 years ago