Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 | |
* | Update travis caching script | 2018-03-22 | |
* | Fix an issue where travis was not building quite the right targets | 2018-02-12 | |
* | Work around travis bugs | 2018-01-29 | |
* | Attempt to build travis in stages | 2018-01-16 | |
* | 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 |