1b614a3e46
Removed broken snapshots
2020-03-19 00:23:31 +03:00
3fdadd5de5
Updated resolver
2020-03-18 21:24:52 +03:00
b01f45a07a
Added stacks
2020-03-18 21:24:08 +03:00
49d7b89a96
Removed GHC 8.6
2020-03-13 17:34:51 +03:00
71d139087b
wip
2020-03-13 17:05:17 +03:00
68efb0ac4d
wip
2020-03-13 16:22:54 +03:00
d60d56f7ca
Try using LD_PRELOAD
2020-03-13 15:57:03 +03:00
ba1c1b5f7e
Temporarily removed caches
2020-03-13 13:24:08 +03:00
912ac9319c
Added libffi addon
2020-03-13 00:27:03 +03:00
ad91f0396f
Removed ghc 8.4
2020-03-12 23:09:15 +03:00
c80e65f84d
Fixed stylish-haskell build error
2020-03-12 22:42:48 +03:00
0c81cf8295
Updated travis
2020-03-12 22:19:10 +03:00
Niklas Larsson
bc5ee4b189
Add a travis target building Idris 2
2020-01-31 22:51:56 +01:00
Niklas Larsson
9662ab5e4a
Disable travis for GHC 8.8 (libffi still broken)
...
Update changelog
Use GHC 8.8 in Appveyor
Run legacy test commands
2020-01-25 18:48:50 +01:00
Niklas Larsson
b4dc55ed5e
Missed one v1- command in travis
2020-01-25 04:28:05 +01:00
Niklas Larsson
7d0a9761dd
Use xenial on travis
2020-01-25 04:09:23 +01:00
Niklas Larsson
4770d51615
Try to fix ppa load
2020-01-25 04:06:25 +01:00
Niklas Larsson
f784403492
Use a newer Ubuntu on travis
2020-01-25 03:49:58 +01:00
Niklas Larsson
6ccef96deb
Use legacy cabal commands for travis
2020-01-25 03:21:07 +01:00
Niklas Larsson
60c0d1c8df
Cut GHC 7.10, add GHC 8.8 to Travis
2020-01-25 03:15:00 +01:00
Niklas Larsson
41a1278af0
Upgrade cabal for travis
2020-01-25 02:23:56 +01:00
Denis Buzdalov
5e74cd73c9
An attempt to use proper Cabal version.
2019-11-19 17:38:59 +03:00
Denis Buzdalov
03b452e5b7
Version of stack used for the style check was bumped.
2019-11-19 14:53:54 +03:00
Niklas Larsson
08506efc94
Disable travis job that always times out
2018-09-16 17:28:37 +02:00
Niklas Larsson
1fccb4bed5
Use a newer cabal with 7.10
...
The 7.10 build fails when the cabal executable crashes in the configure step.
It works with a new cabal, so let's use that. Any 7.10 user can install a newer
cabal-install if it would turn out to be more than a Travis environment issue.
Update explanation for why 8.4 doesn't work with new roadblock (sigh).
2018-06-09 16:09:28 +02:00
Niklas Larsson
beeee848b3
Update travis with newer GHC versions
2018-04-04 22:38:41 +02:00
Niklas Larsson
f8581dab21
Disable macOS builds on Travis
...
They are always timing out.
2017-07-24 21:06:33 +02:00
Thomas Scholtes
c4ac8cbc9f
Drop support for GHC <= 7.10.3
2017-07-16 20:38:44 +02:00
Niklas Larsson
67b891e2fb
Only run benchmarks when testing C target
...
Benchmarks are always built for the C backend.
Revert parallel build.
2017-06-20 22:01:56 +02:00
Niklas Larsson
2509cfa745
Parallel build of Idris
2017-06-20 21:39:18 +02:00
Niklas Larsson
e110171a83
Run travis under trusty
...
Stop chocolatey spamming in appveyor
2017-06-20 20:27:10 +02:00
be5invis
a1c729c5ac
move into before_install
2017-05-24 14:52:17 +08:00
be5invis
78ac52d065
explicit specify nodejs version to 6 (current LTS)
2017-05-24 14:48:26 +08:00
be5invis
aac494cc30
...
2017-05-24 14:43:07 +08:00
be5invis
d61f551d30
forgot
2017-05-24 14:40:29 +08:00
be5invis
fd22f51158
set nodejs version to 7 in travis CI config
2017-05-24 14:03:21 +08:00
Ahmad Salim Al-Sibahi
146f3ba862
Made stack and GHC versions flexible
2017-01-16 10:13:52 +01:00
Ahmad Salim Al-Sibahi
d0e74af19d
Fixed cabal version for STYLISH config
2017-01-15 16:59:08 +01:00
Edwin Brady
024663c4b3
Merge pull request #3475 from enolan/stylish-travis
...
Check Stylishness in Travis
2017-01-13 13:40:00 +00:00
Niklas Larsson
ed5155c39b
Allow failures for Travis Mac build
...
It times out more often than not.
2017-01-06 03:10:23 +01:00
Jan de Muijnck-Hughes
a2a823dbed
Show where used cabal and travis are.
...
Print locations of cabal and ghc used for building, in case `PATH` has been misconfigured.
2016-12-05 12:04:40 +00:00
Jan de Muijnck-Hughes
800af28118
Slight tidy of travis config.
...
Merged brew install commands into a single call. Pkgconfig is installed by default with travis, so only install if it is outdated.
2016-11-24 19:33:43 +00:00
Echo Nolan
143e36822d
Remove comment referencing now fixed Travis bug
...
The compiler: lines had the effect of getting us separate caches per GHC
version, but since travis-ci/travis-ci#4393 has been fixed we get separate
caches per matrix entry anyway. I left the lines in since they make the build
status pages more readable.
2016-10-18 12:18:55 -07:00
Echo Nolan
f8e3df036b
Rename check-stylish.sh and make it a bit more user friendly.
2016-10-13 15:42:59 -07:00
Echo Nolan
aea713d65e
Use Stack to build stylish-haskell in CI
2016-10-13 15:42:59 -07:00
Echo Nolan
25c94dfa92
Stylize Travis
2016-10-13 15:42:59 -07:00
Steven Shaw
0422b09bfb
Must include cppcheck and hscolour in each spot in the matrix.
2016-08-07 03:36:26 +10:00
Steven Shaw
fde0bbc1ce
Optimise package installation on Travis.
...
Only install the versions of ghc and cabal-install that are required for a
particular spot in the matrix. This is based on the latest output generated by
multi-ghc-travis for `idris.cabal`.
2016-08-07 01:19:12 +10:00
Steven Shaw
b4f3c6e7cc
Remember the original directory to avoid globbing.
...
Thanks @melted.
2016-08-05 22:57:00 +10:00
Steven Shaw
133309841c
Allow Travis to work when repo isn't named Idris-dev.
2016-08-05 19:31:00 +10:00