Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Also build non-specific on smithers | 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 |