Merge #66

66: Split up Travis into 4 jobs and pin to a specific nightly for SGX r=Goirad a=jack-fortanix

This improves parallelism (Travis will run 5 jobs at once) and avoids redundancy (the core_io + nightly builds are being run twice, in the stable and beta builds).

Pins the SGX build to 2019-07-11 as with most recently nightly, syntex_syntax fails to compile. Fixing that requires upgrading bindgen (#5)

Co-authored-by: Jack Lloyd <[email protected]>

Author: bors[bot]

.travis.yml

@@ -7,6 +7,7 @@ branches:
     # Not really necessary, just to get a green badge on “master”
     - master
 language: rust
+os: linux
 dist: xenial
 addons:
   apt:
@@ -16,20 +17,17 @@ addons:
     - clang-3.8
     - cmake
 rust:
-  - stable
-  - beta
-matrix:
-  allow_failures:
-  - rust: beta
+   - stable
+   - beta
+   - nightly-2019-07-01
+   - nightly-2019-07-11
 env:
   global:
     - RUST_BACKTRACE=1
     # Pinned to this particular nightly version because of core_io. This can be
     # re-pinned whenever core_io is updated to the latest nightly.
     - CORE_IO_NIGHTLY=nightly-2019-07-01
+    - SGX_NIGHTLY=nightly-2019-07-11
     - LLVM_CONFIG_PATH=llvm-config-3.8
 script:
-  - rustup toolchain add $CORE_IO_NIGHTLY
-  - rustup toolchain add nightly
-  - rustup target add --toolchain nightly x86_64-fortanix-unknown-sgx
   - ./ct.sh