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

Add Docker build and test in Travis for Ubuntu 16.04, 18.04, 19.10 #423

Closed elliottslaughter closed 4 years ago

elliottslaughter commented 4 years ago

Hopefully this will help us sanity check that our install procedures are working and that there are no dependencies being hidden by Travis's magic. It might also help as a starting point if we ever needed to move to another CI...