git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
history of
.travis.yml
all commits
1b614a3
Removed broken snapshots
iko
7 years ago
3fdadd5
Updated resolver
iko
7 years ago
b01f45a
Added stacks
iko
7 years ago
49d7b89
Removed GHC 8.6
iko
7 years ago
71d1390
wip
iko
7 years ago
68efb0a
wip
iko
7 years ago
d60d56f
Try using LD_PRELOAD
iko
7 years ago
ba1c1b5
Temporarily removed caches
iko
7 years ago
912ac93
Added libffi addon
iko
7 years ago
ad91f03
Removed ghc 8.4
iko
7 years ago
c80e65f
Fixed stylish-haskell build error
iko
7 years ago
0c81cf8
Updated travis
iko
7 years ago
bc5ee4b
Add a travis target building Idris 2
Niklas Larsson
7 years ago
9662ab5
Disable travis for GHC 8.8 (libffi still broken)
Niklas Larsson
7 years ago
b4dc55e
Missed one v1- command in travis
Niklas Larsson
7 years ago
7d0a976
Use xenial on travis
Niklas Larsson
7 years ago
4770d51
Try to fix ppa load
Niklas Larsson
7 years ago
f784403
Use a newer Ubuntu on travis
Niklas Larsson
7 years ago
6ccef96
Use legacy cabal commands for travis
Niklas Larsson
7 years ago
60c0d1c
Cut GHC 7.10, add GHC 8.8 to Travis
Niklas Larsson
7 years ago
41a1278
Upgrade cabal for travis
Niklas Larsson
7 years ago
5e74cd7
An attempt to use proper Cabal version.
Denis Buzdalov
7 years ago
03b452e
Version of stack used for the style check was bumped.
Denis Buzdalov
7 years ago
08506ef
Disable travis job that always times out
Niklas Larsson
8 years ago
1fccb4b
Use a newer cabal with 7.10
Niklas Larsson
8 years ago
beeee84
Update travis with newer GHC versions
Niklas Larsson
9 years ago
f8581da
Disable macOS builds on Travis
Niklas Larsson
9 years ago
c4ac8cb
Drop support for GHC <= 7.10.3
Thomas Scholtes
9 years ago
67b891e
Only run benchmarks when testing C target
Niklas Larsson
9 years ago
2509cfa
Parallel build of Idris
Niklas Larsson
9 years ago
e110171
Run travis under trusty
Niklas Larsson
9 years ago
a1c729c
move into before_install
be5invis
9 years ago
78ac52d
explicit specify nodejs version to 6 (current LTS)
be5invis
9 years ago
aac494c
...
be5invis
9 years ago
d61f551
forgot
be5invis
9 years ago
fd22f51
set nodejs version to 7 in travis CI config
be5invis
9 years ago
146f3ba
Made stack and GHC versions flexible
Ahmad Salim Al-Sibahi
10 years ago
d0e74af
Fixed cabal version for STYLISH config
Ahmad Salim Al-Sibahi
10 years ago
024663c
Merge pull request #3475 from enolan/stylish-travis
Edwin Brady
10 years ago
ed5155c
Allow failures for Travis Mac build
Niklas Larsson
10 years ago
a2a823d
Show where used cabal and travis are.
Jan de Muijnck-Hughes
10 years ago
800af28
Slight tidy of travis config.
Jan de Muijnck-Hughes
10 years ago
143e368
Remove comment referencing now fixed Travis bug
Echo Nolan
10 years ago
f8e3df0
Rename check-stylish.sh and make it a bit more user friendly.
Echo Nolan
10 years ago
aea713d
Use Stack to build stylish-haskell in CI
Echo Nolan
10 years ago
25c94df
Stylize Travis
Echo Nolan
10 years ago
0422b09
Must include cppcheck and hscolour in each spot in the matrix.
Steven Shaw
10 years ago
fde0bbc
Optimise package installation on Travis.
Steven Shaw
10 years ago
b4f3c6e
Remember the original directory to avoid globbing.
Steven Shaw
10 years ago
1333098
Allow Travis to work when repo isn't named Idris-dev.
Steven Shaw
10 years ago
older commits
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list