diff options
author | Nadrieril | 2020-03-18 12:54:04 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-18 12:54:45 +0000 |
commit | ca3ba139a21337add76fbf48eee3b2b1b82adaef (patch) | |
tree | 7005a8eac47b8758ddf07e091a7fa3dc3d0d7c47 /dhall/tests/type-errors/unit | |
parent | f90f00c38861a49eba950a59424be8796f266524 (diff) |
Setup CI to test with various toolchains
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions