diff options
| author | Nadrieril | 2021-01-22 19:13:13 +0000 |
|---|---|---|
| committer | Nadrieril | 2021-01-22 19:26:25 +0000 |
| commit | e89ef8aa14f0779f241e9394a0b172982b4a145f (patch) | |
| tree | ccee38f89d6679aa4df17bd9031fcc815503dd66 /dhall/src/syntax/binary | |
| parent | 9ac6740b21b87eca327b4e3acad5a6b647b3636c (diff) | |
ci: disable code coverage, can't make it work
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions