Commits · ca13b3114786e8c563330aa22c19fd38abfe244d · Iris / ci

Jun 21, 2018
- use /usr/bin/time to collect runtime and memory · ca13b311
  Ralf Jung authored 6 years ago
  
  ca13b311
- collect timing information using perf · 8693ed7d
  Ralf Jung authored 6 years ago
  
  8693ed7d
Jun 20, 2018
- Revert "allow configuring build target" · 8ec855ae
  Ralf Jung authored 6 years ago
  
  This reverts commit 16c8b610. We don't need this any more.
  8ec855ae
May 17, 2018
- allow configuring build target · 16c8b610
  Ralf Jung authored 6 years ago
  
  16c8b610
May 09, 2018
- allow opting out of the axiom check · 99c935d2
  Ralf Jung authored 6 years ago
  
  99c935d2
Apr 24, 2018
- lay down opam 2 plans · 40b71102
  Ralf Jung authored 6 years ago
  
  40b71102
Apr 19, 2018
- don't try to be quite so clever with mangling · 7ae823c0
  Ralf Jung authored 6 years ago
  
  7ae823c0
- support -mangle-names flag · fc6f4956
  Ralf Jung authored 6 years ago
  
  fc6f4956
Apr 18, 2018
- set pipefail so that CI fails early if the build fails · 9028d6c1
  Ralf Jung authored 6 years ago
  
  9028d6c1
- move opam publish to before validation (but still after timing upload) · 987ea45a
  Ralf Jung authored 6 years ago
  
  987ea45a
Apr 06, 2018
- also add dev repos when using a beta · e5889b23
  Ralf Jung authored 6 years ago
  
  e5889b23
Apr 03, 2018
- skip opam upgrade if we are working in a fresh opam root · 39c267a4
  Ralf Jung authored 6 years ago
  
  39c267a4
- add missing files · e5c45351
  Ralf Jung authored 6 years ago
  
  e5c45351
- add support for publishing coqdoc · a8aabe36
  Ralf Jung authored 6 years ago
  
  a8aabe36
Mar 24, 2018
- prettify output · d2edcd47
  Ralf Jung authored 7 years ago
  
  d2edcd47
- less noisy make: don't print PWD all the time · 4ca25b21
  Ralf Jung authored 7 years ago
  
  4ca25b21
- use 'make -O' to synchronize output · b58c3b6d
  Ralf Jung authored 7 years ago
  
  b58c3b6d
- be more permissive in filter build-time, to make it more likely to capture intermingled output · 2c6334ad
  Ralf Jung authored 7 years ago
  
  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 7 years ago
  
  7ccd7063
- we can't use variables in 'only:', so go back to OPAM_PKG_BRANCH · df14cb05
  Ralf Jung authored 7 years ago
  
  df14cb05
- improve curl invocations; fix timing submission · 60286c6b
  Ralf Jung authored 7 years ago
  
  60286c6b
- use TIMING_SECRET; check if secret variables are missing · 0a409d5c
  Ralf Jung authored 7 years ago
  
  0a409d5c
- fix a filename · 23837d02
  Ralf Jung authored 7 years ago
  
  23837d02
- support submitting timing information · a40190c5
  Ralf Jung authored 7 years ago
  
  a40190c5
- use MAIN_BRANCH variable · dac37b15
  Ralf Jung authored 7 years ago
  
  dac37b15
- wording · 0428c58a
  Ralf Jung authored 7 years ago
  
  0428c58a
- be bold about colors · 12a54b5e
  Ralf Jung authored 7 years ago
  
  12a54b5e
- fix colors · 3f640cbd
  Ralf Jung authored 7 years ago
  
  3f640cbd
- fix buildjob · ffa4df5f
  Ralf Jung authored 7 years ago
  
  ffa4df5f
- add .gitignore · 26d27bec
  Ralf Jung authored 7 years ago
  
  26d27bec
- add main buildjob script · 51e37125
  Ralf Jung authored 7 years ago
  
  51e37125
- rename · 799685e2
  Ralf Jung authored 7 years ago
  
  799685e2
- initial commit: import opam CI script · 4dbf5143
  Ralf Jung authored 7 years ago
  
  4dbf5143