Started 8 mo 8 days ago
Took 2 min 0 sec on default-agent-kpdhp

Success Build #92 (Jan 18, 2020 5:48:23 AM)

PR #160: Add travis configuration
No changes.

GitHub pull request #160 of commit 05451b5311af3325ee95e8090fe374d62474276e, no merge conflicts.