Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [travis] Always display the diff, but don't display _CoqProject | 2018-10-25 | |
* | [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 | |
* | Update travis caching script | 2018-03-22 | |
* | Fix an issue where travis was not building quite the right targets | 2018-02-12 | |
* | Attempt to build travis in stages | 2018-01-16 |