| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Die early if we can't create the archive |  Jason Gross | 2018-03-22 |
| | | | | | This would have caught the issue fixed by the previous commit much earlier. | ||
| * | Update travis caching script | Jason Gross | 2018-03-22 |
| | | | | | We no longer have a Bedrock directory; we instead have a bbv directory | ||
| * | 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 |