{"push_id":1077073582,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"21b54917cf381c682c94b0eec380d3edfa8b9f76","before":"9bde18def99bd8335db64114dcfddac86ca19d47","commits":[{"sha":"e2db1817490a5870159809fbb0a8cc7343bbd4d0","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Make selftest output line up with parallel Holmake's\n\nAlso make tests use testutils.OK to report OK","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/e2db1817490a5870159809fbb0a8cc7343bbd4d0"},{"sha":"2b615b6472b22af2e529af874f8818c5174ac655","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Make more dependency corrections in holyhammer","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/2b615b6472b22af2e529af874f8818c5174ac655"},{"sha":"7640821ee3e6f80283abdeb30c08bc795e542fe8","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Move testutils to src/parse\n\nIt provides a convenient way to test pretty-printers, so depends on the\nsources there.","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/7640821ee3e6f80283abdeb30c08bc795e542fe8"},{"sha":"744f9a3bf3f83d8f41126017d14c933e79e43ab8","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Fix many selftests to have prettier output","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/744f9a3bf3f83d8f41126017d14c933e79e43ab8"},{"sha":"29539b8bb696c39eabd4b0cde4ba32ee9411727a","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Stop tagging stderr output specially in log files","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/29539b8bb696c39eabd4b0cde4ba32ee9411727a"},{"sha":"dfc7853d979699111706880d6a606c645a30e62a","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Report files that can't be built for lack of rule","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/dfc7853d979699111706880d6a606c645a30e62a"},{"sha":"c3e8b3e57d8efc5e4b7dafd7a5f82a00e80ad515","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Improve reporting of targets with no rules/cmds","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/c3e8b3e57d8efc5e4b7dafd7a5f82a00e80ad515"},{"sha":"21b54917cf381c682c94b0eec380d3edfa8b9f76","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Make match_goal tests use OK(); not print \"OK\\n\"","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/21b54917cf381c682c94b0eec380d3edfa8b9f76"}]}