Skip to content
Snippets Groups Projects
  1. Nov 04, 2017
  2. Oct 15, 2017
  3. Oct 11, 2017
  4. Sep 03, 2017
    • Raymond Toy's avatar
      Install git (again) · 3d227b6b
      Raymond Toy authored
      While not strictly necessary, make-dist.sh uses git to determine a
      default lisp-implmenetation-version.  We could just use -V to do that,
      but I think it's best to have git so that the pipeline looks as much
      like normal development as possible.
      3d227b6b
    • Raymond Toy's avatar
      Remove debugging stuff and early exit · 9b8d5fc4
      Raymond Toy authored
       - Early exit (with non-zero exit code) does cause the pipeline to
         fail, as expected.
      9b8d5fc4
    • Raymond Toy's avatar
      More testing of CI · 24ed6116
      Raymond Toy authored
       - Don't need to install git anymore
       - exit early from build script to see if that makes the test fail.
      24ed6116
  5. Sep 02, 2017
  6. Oct 07, 2016
  7. Oct 03, 2016
Loading