aboutsummaryrefslogtreecommitdiff
path: root/etc/ci
Commit message (Expand)AuthorAge
* Add git diff for better debugging of C-file issuesGravatar Jason Gross2018-07-21
* Die early if we can't create the archiveGravatar Jason Gross2018-03-22
* Update travis caching scriptGravatar Jason Gross2018-03-22
* Fix an issue where travis was not building quite the right targetsGravatar Jason Gross2018-02-12
* Work around travis bugsGravatar Jason Gross2018-01-29
* Attempt to build travis in stagesGravatar Jason Gross2018-01-16
* Also build non-specific on smithersGravatar Jason Gross2017-12-13
* Add missing file from previous commitGravatar Jason Gross2017-12-13
* Print coq version on smithersGravatar Jason Gross2017-11-04
* Fix smithers buildGravatar Jason Gross2017-10-31
* Add nonautogenerated-specific{,-display} targetsGravatar Jason Gross2017-10-23
* Update smithers scriptGravatar Jason Gross2017-10-13
* Smithers doesn't support -o pipefailGravatar Jason Gross2017-10-11
* Add etc/ci/smithers.sh for smithers testingGravatar Jason Gross2017-10-10
* Don't let travis kill us in 10 minutes of silenceGravatar Jason Gross2016-11-18