Matthew Justin Bauer
a7cb720bae
travis: remount for larger tmp dir
2016-07-18 16:09:25 -05:00
Matthew Bauer
5282a336a4
travis: build manuals to verify that they work
...
fixes #15109
2016-07-12 21:34:58 +00:00
Matthew Bauer
d40066b49b
travis: set GITHUB_TOKEN variable in .travis.yml
...
This should allow for more builds per hour and less errors from nox-review.
2016-07-12 21:34:58 +00:00
Matthew Bauer
95b28da353
travis: use community supported language
...
Switch to the "community supported" Nix version of Travis.
2016-07-12 21:34:58 +00:00
Matthew Bauer
3c0fdefd84
travis: only fetch top commit
...
This will make travis only fetch the top level commit instead of
fetching the top 50 (default). Nox should be able fetch other commits on
an as-needed basis.
2016-07-12 21:34:58 +00:00
Matthew Bauer
f76e5ab0cf
travis: split build into matrix of 3
...
This adds a 3rd matrix to be built by Travis. The new matrix "checks"
the NixPkgs evaluation so the other 2 can save their resources for
building. Hopefully, this will lead to less "out of space" errors that
seem to be happening with Travis. Also adds folding.
2016-07-12 21:34:58 +00:00
Domen Kožar
30c94e10c3
travis-ci: allow failures on osx until nixpkgs channel is unblocked
2016-06-03 12:08:24 +01:00
Domen Kožar
d47dca41ce
try using nox from nixpkgs ( #15857 )
...
* try using nox from nixpkgs
* release.nix: block on nox since otherwise travis-ci will fail hard
2016-05-31 12:59:24 +01:00
Marc Scholten
36cc45782b
Enabled osx on travis ( #15855 )
2016-05-31 11:34:59 +01:00
Domen Kožar
11b1236627
travis-ci: use trusty (has 7.5G ram compared to previous 3)
2015-11-02 13:04:03 +01:00
Tobias Geerinckx-Rice
8bf4be4c30
.travis.yml: add "sudo: required" to opt out of containers
2015-04-07 15:45:00 +02:00
Wout Mertens
0083284ad8
Travis: chop build in install and build phases
...
This allows us to see how long install takes.
Also, build from hydra binaries as much as possible.
2014-10-15 11:05:12 +02:00
Georges Dubus
5ab79f6090
Review PR in travis with nox-review
2014-09-21 21:17:56 +02:00
