index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
.travis.yml
Commit message (
Expand
)
Author
Age
*
Allow test and bench to fail on travis
Jason Gross
2017-10-11
*
Add targets for no-curves-proofs-non-specific, and selected-specific,
Jason Gross
2017-10-11
*
Hopefully fix travis
Jason Gross
2017-10-10
*
[travis] trunk is now called master
Jason Gross
2017-10-06
*
Switch Coq {8.6 => 8.6.1} on travis
Jason Gross
2017-10-06
*
Drop 8.5 travis build
Jason Gross
2017-10-06
*
Drop test target on travis
Jason Gross
2017-09-16
*
Test `make bench` on travis.
Jason Gross
2017-09-15
*
Also test coq v8.7 on travis
Jason Gross
2017-07-08
*
Don't set COQPATH in travis
Jason Gross
2017-07-03
*
test display target on travis
Jason Gross
2017-07-03
*
Remove tabs from .travis.yml
Jason Gross
2017-07-03
*
Clean up .travis.yml
Jason Gross
2017-07-03
*
Don't make curves proofs on travis (hopefully fast enough build)
Jason Gross
2017-06-17
*
Fix the use of TARGETS on travis
Jason Gross
2017-06-14
*
Add a printlite target to display lite files
Jason Gross
2017-06-14
*
Also test the 'lite' target on 8.6 in travis
Jason Gross
2017-06-14
*
Fix travis targets
Jason Gross
2017-04-03
*
[travis] Only build the lite target on Coq 8.5
Jason Gross
2017-03-16
*
Remove display .vo from default target
Jason Gross
2017-03-06
*
Use 8.6 rather than 8.6rc1 on travis
Jason Gross
2016-12-19
*
More travis fixups for package installation
Jason Gross
2016-12-08
*
Only install Coq package on travis
Jason Gross
2016-12-08
*
Test 8.6rc1 on travis
Jason Gross
2016-12-08
*
Add trunk as an allowed failure to .travis.yml
Jason Gross
2016-12-06
*
Update .travis.yml
Jason Gross
2016-12-05
*
Update .travis.yml
Jason Gross
2016-12-05
*
Only test 8.6beta1 on travis
Jason Gross
2016-12-05
*
Don't let travis kill us in 10 minutes of silence
Jason Gross
2016-11-18
*
Don't build 8.5pl{1,2} on travis
Jason Gross
2016-11-17
*
Add tip of 8.5, 8.6 to travis
Jason Gross
2016-11-17
*
Also test 8.5pl3 on travis
Jason Gross
2016-10-29
*
Test fewer Coq versions on Travis (#46)
Jason Gross
2016-08-04
*
Display pretty timing graph on travis
Jason Gross
2016-07-20
*
An attempt at fixing 8.5pl2
Jason Gross
2016-07-11
*
Add 8.5pl2 to travis
Jason Gross
2016-07-11
*
Also install libcoq-ocaml
Jason Gross
2016-06-28
*
Add many versions of Coq 8.4 to travis
Jason Gross
2016-06-28
*
Test 8.5 and 8.5pl1 on travis
Jason Gross
2016-06-27
*
Make Coq 8.5 the default target for Fiat-Crypto
Jason Gross
2016-06-22
*
Also build with Coq 8.5 on travis
Jason Gross
2016-06-22
*
Add .travis.yml
Jason Gross
2016-06-20