Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Work around travis bugs | 2018-01-29 | |
https://github.com/travis-ci/travis-ci/issues/8507 We use a script and travis_retry to work around "failed to fetch" with launchpad |
![]() |
index : fiat-crypto | |
fast, formally verified cryptography |
aboutsummaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Work around travis bugs | 2018-01-29 | |
https://github.com/travis-ci/travis-ci/issues/8507 We use a script and travis_retry to work around "failed to fetch" with launchpad |