search

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4
5 stars 1 forks source link

Build binaries for Ubuntu 22.04 #21

Closed RyanGlScott closed 2 years ago

RyanGlScott commented 2 years ago

Now that Ubuntu 22.04 (Jammy Jellyfish) is the newest LTS release of Ubuntu, we should include binary distributions for it.

RyanGlScott commented 2 years ago

According to https://github.com/actions/virtual-environments/discussions/5427#discussioncomment-2614242, GitHub Actions could add Ubuntu 22.04 images as early as May.

RyanGlScott commented 2 years ago

There are now beta images for Ubuntu 22.04 on GitHub Actions.

RyanGlScott commented 2 years ago

Ubuntu 22.04 runners are now generally available. Moreover, the Ubuntu 18.04 runners have been deprecated and will be removed by December 1, 2022.