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 configuration for Ubuntu 20.04 #599

Closed elliottslaughter closed 2 years ago

elliottslaughter commented 2 years ago

Fixes #598.

Jobs that require Ubuntu 18.04 are relegated to Docker.

elliottslaughter commented 2 years ago

I give up. Ubuntu 20.04 and 22.04 packaging are both fundamentally broken beyond my ability to patch around it. The GitHub Actions images also have stuff pre-installed that interferes with downloading our own LLVM.

I'm going to look into moving all Linux tests into Docker. Not how I would have chosen to do it, but I can't think of another option right now.

elliottslaughter commented 2 years ago

Closed in favor of #600.