Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [travis] Always display the diff, but don't display _CoqProject | Jason Gross | 2018-10-25 |
* | [travis] Only run git diff on failure | Jason Gross | 2018-08-09 |
* | Add git diff for better debugging of C-file issues | Jason Gross | 2018-07-21 |
* | Die early if we can't create the archive | Jason Gross | 2018-03-22 |
* | Update travis caching script | Jason Gross | 2018-03-22 |
* | 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 |