diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-10 14:19:58 +0100 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-10 14:20:25 +0100 |
| commit | c1c7b85c252fe0283debab8d215c9107ec444fd9 (patch) | |
| tree | 85c3e60815b0702f261ad5d202f078e1a418ddc6 /testing | |
| parent | 038e244d1de38735118b697e32d81161042ba7ab (diff) | |
community/ocaml: fix check, but ignore test failures for now
Diffstat (limited to 'testing')
0 files changed, 0 insertions, 0 deletions