diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-06-04 16:53:41 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-06-04 16:53:41 +0200 |
| commit | 7b5624ce352d4865026b5ccbf7b397f33fef58a3 (patch) | |
| tree | 11f892f28bba0800d01b26c818a1630d979952f9 /check.log | |
| parent | 1a9887c3278ac97feb5972c68d9756be430ea132 (diff) | |
Also wait for codecov...
Diffstat (limited to 'check.log')
0 files changed, 0 insertions, 0 deletions