|
|
a9acf23a15
|
Update docs a bit
|
2018-10-11 13:25:53 -04:00 |
|
|
|
b14a827715
|
Update shell script for Jenkins
|
2018-10-11 13:06:58 -04:00 |
|
|
|
1cd8386559
|
Closer to working Jenkins
|
2018-10-11 12:50:29 -04:00 |
|
|
|
1fa11cd50d
|
Try again, for Jenkins
|
2018-10-11 12:22:44 -04:00 |
|
|
|
8a7223593d
|
Maybe third time is a charm for Jenkins?
|
2018-10-11 12:08:57 -04:00 |
|
|
|
ccc9ad0c14
|
Attempt2 with Jenkins
|
2018-10-11 11:54:27 -04:00 |
|
|
|
509db151e7
|
Let's do CI with Jenkins
|
2018-10-11 11:11:24 -04:00 |
|
