Created
September 13, 2019 07:16
-
-
Save agutenkunst/a5f932df396784af42d88d19b18c4281 to your computer and use it in GitHub Desktop.
Add Timing to IndustrialCi output
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| before_install: | |
| - sudo apt-get install -y moreutils | |
| install: install: | |
| - git clone --depth=1 https://github.com/ros-industrial/industrial_ci.git .industrial_ci - git clone --depth=1 https://github.com/ros-industrial/industrial_ci.git .industrial_ci | |
| script: script: | |
| - .industrial_ci/travis.sh - .industrial_ci/travis.sh | ts '[%Y-%m-%d %H:%M:%S]' |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment