Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [travis] Only run git diff on failure | 2018-08-09 | |
| | |||
* | Add git diff for better debugging of C-file issues | 2018-07-21 | |
| | |||
* | Die early if we can't create the archive | 2018-03-22 | |
| | | | | This would have caught the issue fixed by the previous commit much earlier. | ||
* | Update travis caching script | 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 | 2018-02-12 | |
| | |||
* | 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 | ||
* | Attempt to build travis in stages | 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. | ||
* | Also build non-specific on smithers | 2017-12-13 | |
| | |||
* | Add missing file from previous commit | 2017-12-13 | |
| | |||
* | Print coq version on smithers | 2017-11-04 | |
| | |||
* | Fix smithers build | 2017-10-31 | |
| | |||
* | Add nonautogenerated-specific{,-display} targets | 2017-10-23 | |
| | |||
* | Update smithers script | 2017-10-13 | |
| | |||
* | Smithers doesn't support -o pipefail | 2017-10-11 | |
| | |||
* | Add etc/ci/smithers.sh for smithers testing | 2017-10-10 | |
| | |||
* | Don't let travis kill us in 10 minutes of silence | 2016-11-18 | |