Commits · b58c3b6db3087e19b01e54ec640b465e7262935e · Iris / ci

24 Mar, 2018 17 commits
- 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
- support submitting timing information · a40190c5
  Ralf Jung authored Mar 24, 2018
  
  a40190c5
- use MAIN_BRANCH variable · dac37b15
  Ralf Jung authored Mar 24, 2018
  
  dac37b15
- wording · 0428c58a
  Ralf Jung authored Mar 24, 2018
  
  0428c58a
- be bold about colors · 12a54b5e
  Ralf Jung authored Mar 24, 2018
  
  12a54b5e
- fix colors · 3f640cbd
  Ralf Jung authored Mar 24, 2018
  
  3f640cbd
- fix buildjob · ffa4df5f
  Ralf Jung authored Mar 24, 2018
  
  ffa4df5f
- add .gitignore · 26d27bec
  Ralf Jung authored Mar 24, 2018
  
  26d27bec
- 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