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

Update CI to Ubuntu 20.04 #598

Closed elliottslaughter closed 2 years ago

elliottslaughter commented 2 years ago

Need to update non-Docker jobs in the CI to Ubuntu 20.04 to avoid the pending runner deprecation: https://github.com/actions/runner-images/issues/6002

elliottslaughter commented 2 years ago

I just moved everything into Docker (except for Linux Makefile tests, which I severely reduced). Hopefully that's the end of this.