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
*
Improve travis stages
Jason Gross
2019-02-01
*
remove redundant travis CI stages
Andres Erbsen
2019-01-10
*
remove old pipeline
Andres Erbsen
2019-01-09
*
Update .travis.yml
Jason Gross
2018-12-20
*
Add another early travis stage
Jason Gross
2018-11-02
*
Split up new-pipeline more
Jason Gross
2018-08-13
*
Move new-pipeline to its own stage
Jason Gross
2018-08-04
*
Add some primes to be synthesized
Jason Gross
2018-07-21
*
WIP
Jason Gross
2018-07-03
*
Fix issue with Travis network
Jason Gross
2018-06-19
*
New pipeline, split among files
Jason Gross
2018-06-17
*
Bump versions of Coq we test on travis
Jason Gross
2018-05-02
*
Work around travis bugs
Jason Gross
2018-01-29
*
Attempt to build travis in stages
Jason Gross
2018-01-16
*
Add separate targets to build but not run test/bench
Jason Gross
2018-01-16
*
[travis] 8.7.0 -> 8.7.1
Jason Gross
2018-01-15
*
Add travis_retry to work around bugs in travis
Jason Gross
2018-01-10
*
[travis] remove autogenerated files from _CoqProject
Jason Gross
2017-12-13
*
Apparently ln -s is too slow on travis, so we fake it when we're not building...
Jason Gross
2017-12-13
*
Print out Coq version info on travis
Jason Gross
2017-12-05
*
Add a target to speed up coqdep with a kludge on travis
Jason Gross
2017-11-26
*
Update .travis.yml from 8.7+beta2 to 8.7.0
Jason Gross
2017-10-18
*
Update .travis.yml to be 8.7-only
Jason Gross
2017-10-18
*
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
[next]