| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fix an issue where travis was not building quite the right targets |  Jason Gross | 2018-02-12 |
| | | |||
| * | Attempt to build travis in stages | Jason Gross | 2018-01-16 |
| Hopefully this will lead to overall faster builds Also: - try to allow failures - Version-specific vo caches - Make archives stage-specific This way, if multiple branches are running stages at the same time, they don't have as much a chance of clobbering each others builds. | |||
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |