index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
.travis.yml
Age
Commit message (
Expand
)
Author
2017-03-10
[ci] Document that sudo: false is slower
Tej Chajed
2017-03-09
[travis] Move GeoCoq to allow fail.
Emilio Jesus Gallego Arias
2017-02-24
[travis] [External CI] fiat-parsers
Emilio Jesus Gallego Arias
2017-02-15
[travis] [External CI] CompCert official 8.6 support + UniMath
Emilio Jesus Gallego Arias
2017-02-07
[travis] [External CI] GeoCoq
Emilio Jesus Gallego Arias
2017-02-07
[travis] Enable 32bit test-suite + validate.
Emilio Jesus Gallego Arias
2017-02-07
[travis] [External CI] C-Corn color coquelicot cpdt fiat-crypto floqc iris-co...
Emilio Jesus Gallego Arias
2017-02-07
[travis] [External CI] Script renaming.
Emilio Jesus Gallego Arias
2017-02-07
[travis] Improvements to main script
Emilio Jesus Gallego Arias
2017-02-07
[travis] [External CI] compcert HoTT math-comp
Emilio Jesus Gallego Arias
2017-02-06
[travis] Run tests using a parallel matrix.
Emilio Jesus Gallego Arias
2017-02-04
[travis] : more apt deps + parallel jobs + non-container based
Pierre-Yves Strub
2017-02-04
[travis] CoqIde + doc + last available LST
Pierre-Yves Strub
2017-02-03
Travis CI configuration. Runs validate & test-suite.
Pierre-Yves Strub
