Commits · 119562b9c5e96eb76218d01d1c16e938acaca736 · Simcha van Collem / Iris

Jun 21, 2016
- Include jh_simplified_ressources in the CI branches · 119562b9
  Jacques-Henri Jourdan authored 8 years ago
  
  119562b9
Mar 11, 2016
- fail the build if an Axiom has been found · 96a43618
  Ralf Jung authored 9 years ago
  
  96a43618
Mar 03, 2016
- run CI job only for master branch · 94b9b51e
  Ralf Jung authored 9 years ago
  
  94b9b51e
Feb 24, 2016
- CI: also capture stderr · 7e49776c
  Ralf Jung authored 9 years ago
  
  7e49776c
- still print all the things · 760b7170
  Ralf Jung authored 9 years ago
  
  760b7170
- fix regexp · a868422d
  Ralf Jung authored 9 years ago
  
  a868422d
- fix yaml syntax · d50f8c16
  Ralf Jung authored 9 years ago
  
  d50f8c16
- fix yaml syntax · 9007c97e
  Ralf Jung authored 9 years ago
  
  9007c97e
- try to get build times as an artifact · cbcf0903
  Ralf Jung authored 9 years ago
  
  cbcf0903
Feb 23, 2016
- time the CI build. also use less cores to hopefully get more stable timing. · bcfc00b8
  Ralf Jung authored 9 years ago
  
  bcfc00b8
Feb 22, 2016
- CI: parallel build · dcaea50a
  Ralf Jung authored 9 years ago
  
  dcaea50a
- try to tell gitlab CI what to do · f391510d
  Ralf Jung authored 9 years ago
  
  f391510d