Add Ubuntu 22.04 binaries, drop Ubuntu 18.04

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4

5 stars 1 forks source link

Add Ubuntu 22.04 binaries, drop Ubuntu 18.04 #22

Closed RyanGlScott closed 2 years ago

RyanGlScott commented 2 years ago

Marking as a draft until GitHub Actions' Ubuntu 22.04 runners have left public beta.

Fixes #21.

RyanGlScott commented 2 years ago

The cvc4 build fails on Ubuntu 22.04 at the moment since the GitHub Actions runners do not yet provide an installation of Java, unlike the runners for Ubuntu 20.04 and earlier. This may be fixed soon, if I'm reading actions/virtual-environments#5618 correctly.

RyanGlScott commented 2 years ago

Sure enough, waiting two days and trying again did the trick. I'll park this PR until the Ubuntu 22.04 runners have left public beta.