Commits · janno/switches · Iris / ci

20 Sep, 2018 2 commits
- Try different quoting to get rid of spaces. · 8b28c999
  Janno authored Sep 20, 2018
```
So we meet again, (ba)sh. Oh, how I despise thee!
```
  8b28c999
- Add support for handling OPAM_SWITCh env var. · 5daba6e0
  Janno authored Sep 20, 2018
  
  5daba6e0
18 Sep, 2018 9 commits
- mention the docker repo · 5979cc63
  Ralf Jung authored Sep 18, 2018
  
  5979cc63
- print information about the right repo · dc81ba23
  Ralf Jung authored Sep 18, 2018
  
  dc81ba23
- fix script · 58a6c7e6
  Ralf Jung authored Sep 18, 2018
  
  58a6c7e6
- print which CI version is used · 937ca6a0
  Ralf Jung authored Sep 18, 2018
  
  937ca6a0
- only fgrep files that exist · 802bad74
  Ralf Jung authored Sep 18, 2018
  
  802bad74
- add link to opam2 branch · 933d3d51
  Ralf Jung authored Sep 18, 2018
  
  933d3d51
- add README · a5e27293
  Ralf Jung authored Sep 18, 2018
  
  a5e27293
- turns out opam 2 still needs two calls to properly upgrade · c3b53061
  Ralf Jung authored Sep 18, 2018
  
  c3b53061
- test the opam 2 waters · ad547a4c
  Ralf Jung authored Sep 18, 2018
  
  ad547a4c
10 Sep, 2018 1 commit

un-do '--use-internal-solver' · 7788488e

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
22 Jun, 2018 1 commit
- remove no longer functional axiom check · 1664067b
  Ralf Jung authored Jun 23, 2018
  
  1664067b
21 Jun, 2018 3 commits
- add pretty header for build time information · 8324acef
  Ralf Jung authored Jun 21, 2018
  
  8324acef
- use /usr/bin/time to collect runtime and memory · ca13b311
  Ralf Jung authored Jun 21, 2018
  
  ca13b311
- collect timing information using perf · 8693ed7d
  Ralf Jung authored Jun 21, 2018
  
  8693ed7d
20 Jun, 2018 1 commit
- Revert "allow configuring build target" · 8ec855ae
  Ralf Jung authored Jun 20, 2018
```
This reverts commit 16c8b610. We don't need this any more.
```
  8ec855ae
17 May, 2018 1 commit
- allow configuring build target · 16c8b610
  Ralf Jung authored May 17, 2018
  
  16c8b610
09 May, 2018 1 commit
- allow opting out of the axiom check · 99c935d2
  Ralf Jung authored May 09, 2018
  
  99c935d2
24 Apr, 2018 1 commit
- lay down opam 2 plans · 40b71102
  Ralf Jung authored Apr 24, 2018
  
  40b71102
19 Apr, 2018 2 commits
- don't try to be quite so clever with mangling · 7ae823c0
  Ralf Jung authored Apr 19, 2018
  
  7ae823c0
- support -mangle-names flag · fc6f4956
  Ralf Jung authored Apr 19, 2018
  
  fc6f4956
18 Apr, 2018 2 commits
- set pipefail so that CI fails early if the build fails · 9028d6c1
  Ralf Jung authored Apr 18, 2018
  
  9028d6c1
- move opam publish to before validation (but still after timing upload) · 987ea45a
  Ralf Jung authored Apr 18, 2018
  
  987ea45a
06 Apr, 2018 1 commit
- also add dev repos when using a beta · e5889b23
  Ralf Jung authored Apr 06, 2018
  
  e5889b23
03 Apr, 2018 3 commits
- skip opam upgrade if we are working in a fresh opam root · 39c267a4
  Ralf Jung authored Apr 03, 2018
  
  39c267a4
- add missing files · e5c45351
  Ralf Jung authored Apr 03, 2018
  
  e5c45351
- add support for publishing coqdoc · a8aabe36
  Ralf Jung authored Apr 03, 2018
  
  a8aabe36
24 Mar, 2018 9 commits
- prettify output · d2edcd47
  Ralf Jung authored Mar 24, 2018
  
  d2edcd47
- less noisy make: don't print PWD all the time · 4ca25b21
  Ralf Jung authored Mar 24, 2018
  
  4ca25b21
- use 'make -O' to synchronize output · b58c3b6d
  Ralf Jung authored Mar 24, 2018
  
  b58c3b6d
- be more permissive in filter build-time, to make it more likely to capture intermingled output · 2c6334ad
  Ralf Jung authored Mar 24, 2018
```
That will then fail when submitted to the webhook, which is whta we want --
avoid bad data from getting into the system.
```
  2c6334ad
- fix submitting to opam-updater · 7ccd7063
  Ralf Jung authored Mar 24, 2018
  
  7ccd7063
- we can't use variables in 'only:', so go back to OPAM_PKG_BRANCH · df14cb05
  Ralf Jung authored Mar 24, 2018
  
  df14cb05
- improve curl invocations; fix timing submission · 60286c6b
  Ralf Jung authored Mar 24, 2018
  
  60286c6b
- use TIMING_SECRET; check if secret variables are missing · 0a409d5c
  Ralf Jung authored Mar 24, 2018
  
  0a409d5c
- fix a filename · 23837d02
  Ralf Jung authored Mar 24, 2018
  
  23837d02