Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Improve shell scripts | zapashcanon | 2018-04-05 |
* | Fix CI with parallel make (messed up dependencies) | Gaƫtan Gilbert | 2017-12-21 |
* | Have coq-dpdgraph ci test print the differences | Jason Gross | 2017-08-01 |
* | Mirror dpdgraph's travis test more accurately | Jason Gross | 2017-06-08 |
* | Add coq-dpdgraph CI | Jason Gross | 2017-06-02 |