Skip to content
Snippets Groups Projects
  1. Oct 05, 2016
  2. May 13, 2016
  3. May 04, 2016
  4. Mar 31, 2016
  5. Mar 24, 2016
  6. Feb 25, 2016
  7. Feb 24, 2016
  8. Feb 19, 2016
  9. Feb 09, 2016
  10. Feb 07, 2016
  11. Feb 02, 2016
  12. Jan 27, 2016
  13. Dec 02, 2015
  14. Oct 06, 2015
  15. Oct 03, 2015
  16. Sep 29, 2015
  17. Sep 18, 2015
  18. Jul 21, 2015
  19. Jul 16, 2015
  20. Jun 26, 2015
  21. Jun 25, 2015
    • Nicolas "Pixel" Noble's avatar
      Some Jenkins changes and improvements. · 964f955b
      Nicolas "Pixel" Noble authored
      -) Don't re-clone from github. We already have the directory here, just bind it, and copy it inside the docker container.
      -) Let's properly set up our environment for asan.
      -) Let's split the docker "run_jenkins" part into its own separate script.
      964f955b
  22. Apr 24, 2015
  23. Mar 04, 2015
  24. Feb 18, 2015
  25. Feb 16, 2015
  26. Jan 26, 2015
Loading