Build #9 (May 18, 2018, 4:50:54 PM)

1. try a jenkins script (details / githubweb)
2. fix typo (details / githubweb)
3. pysh doesn't seem to work again (details / githubweb)
4. something doesn't make sense here (details / githubweb)
5. where is tox.ini? (details / githubweb)
6. add some debugging code (details / githubweb)
7. I think I may have to rebuild the project? (details / githubweb)
8. how about now (details / githubweb)
9. fix typos (details / githubweb)
10. ws instead of exws (details / githubweb)
11. more attempts at custom workspace (details / githubweb)
12. what? (details / githubweb)
13. whoops (details / githubweb)
14. preparing for github pipeline plugin (details / githubweb)
15. just run git? (details / githubweb)
16. smc checkout? (details / githubweb)
17. ascii (details / githubweb)
18. update readme (details / githubweb)
19. Migrate to scripted syntax for pipeline file (details / githubweb)

Push event to branch develop at 4:50:48 PM on May 18, 2018

• develop