travis: upload psi dump
authorMichael Wallner <mike@php.net>
Fri, 8 Sep 2017 06:03:44 +0000 (08:03 +0200)
committerMichael Wallner <mike@php.net>
Fri, 8 Sep 2017 06:03:44 +0000 (08:03 +0200)
commit4bee5440cea39ab77bdbe025b9669f7c73424d72
tree4b5c6f03152b6efd51a9d4f65c4e7db666426d8c
parent9e830b9e07505e11544cc3f9e15b404211b6d59f
travis: upload psi dump
.travis.yml
scripts/gen_travis_yml.php