Commits · 8b28c999ea91cef85daa13b4151ae015575deaa4 · Iris / ci

Ralf Jung authored Sep 10, 2018

It leads to ocamlfind being upgraded and downgraded all the time, which leads to
Coq being recompiled.

7788488e

01 Aug, 2018 3 commits
- use internal solver less, it makes strange downgrades · fb4a01da
  Ralf Jung authored Aug 01, 2018
  
  fb4a01da
- use internal solver in more places · 68f67dc4
  Ralf Jung authored Aug 01, 2018
  
  68f67dc4
- opam: maybe using the internal solver helps · f3973d01
  Ralf Jung authored Aug 01, 2018
  
  f3973d01
24 Apr, 2018 1 commit
- lay down opam 2 plans · 40b71102
  Ralf Jung authored Apr 24, 2018
  
  40b71102
06 Apr, 2018 1 commit
- also add dev repos when using a beta · e5889b23
  Ralf Jung authored Apr 06, 2018
  
  e5889b23
03 Apr, 2018 1 commit
- skip opam upgrade if we are working in a fresh opam root · 39c267a4
  Ralf Jung authored Apr 03, 2018
  
  39c267a4
24 Mar, 2018 5 commits
- wording · 0428c58a
  Ralf Jung authored Mar 24, 2018
  
  0428c58a
- be bold about colors · 12a54b5e
  Ralf Jung authored Mar 24, 2018
  
  12a54b5e
- add main buildjob script · 51e37125
  Ralf Jung authored Mar 24, 2018
  
  51e37125
- rename · 799685e2
  Ralf Jung authored Mar 24, 2018
  
  799685e2
- initial commit: import opam CI script · 4dbf5143
  Ralf Jung authored Mar 24, 2018
  
  4dbf5143