git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
history of
appveyor.yml
all commits
9662ab5
Disable travis for GHC 8.8 (libffi still broken)
Niklas Larsson
7 years ago
35757f9
use HTTPS URL instead of HTTP URL when possible
Milan Kral
7 years ago
47d5336
Fix Appveyor by pinning cabal
Niklas Larsson
7 years ago
609f712
Fix appveyor
Niklas Larsson
8 years ago
febd4fa
fix PATH
Niklas Larsson
9 years ago
713172e
Use a modern ghc for appveyor
Niklas Larsson
9 years ago
0338341
Try to make appveyor not be mad at warnings
Niklas Larsson
9 years ago
e110171
Run travis under trusty
Niklas Larsson
9 years ago
4289e42
Use GHC 7.10.3 instead
Niklas Larsson
10 years ago
879cebc
Adjust for Appveyor's Chocolatey update
Niklas Larsson
10 years ago
91109aa
Add appveyor.yml
Niklas Larsson
10 years ago
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