search

terralang / terra

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
terralang.org
Other
2.72k stars 201 forks source link

Prune the set of Travis configurations #425

Closed elliottslaughter closed 4 years ago

elliottslaughter commented 4 years ago

Otherwise these tests just take too long to run, especially with the growth of LLVM versions Terra supports.