diff options
author | Jason Gross <jgross@mit.edu> | 2018-04-17 18:52:33 -0400 |
---|---|---|
committer | jadephilipoom <jade.philipoom@gmail.com> | 2018-04-18 03:43:32 -0400 |
commit | f2ef2c85530035b60d9071abf256da37e84858bf (patch) | |
tree | 0c5a0385d61e4442e5afd521b5f215a0c975341f /_CoqProject | |
parent | c574d7ecbd4633ddb3116a71d49ec180526ee8dc (diff) |
Actually display the error messages from pipeline failures
See https://github.com/coq/coq/issues/7291 and
https://github.com/mit-plv/fiat-crypto/issues/349#issuecomment-382180578
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions