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

Formally deprecate Travis support #475

Closed elliottslaughter closed 3 years ago

elliottslaughter commented 3 years ago

This completes #355. We now use Github Actions for the CI. Travis support is removed and the badge now displays Github Actions status.

elliottslaughter commented 3 years ago

LLVM's download site seems to be down, but I don't think anything in this change should be a problem, so I'll take it anyway.