Commits · 57b84b202ecb40504c160d1fd2b3304ae9dfcffa · Rice Wine / Iris

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