Skip to content

Build binaries for Ubuntu 22.04 #21

Closed
@RyanGlScott

Description

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

Activity

RyanGlScott

RyanGlScott commented on Apr 25, 2022

@RyanGlScott
ContributorAuthor

According to actions/runner-images#5427 (comment), GitHub Actions could add Ubuntu 22.04 images as early as May.

RyanGlScott

RyanGlScott commented on May 12, 2022

@RyanGlScott
ContributorAuthor

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

added a commit that references this issue on Jun 2, 2022
a5e2903
RyanGlScott

RyanGlScott commented on Aug 12, 2022

@RyanGlScott
ContributorAuthor

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.

added 2 commits that reference this issue on Aug 12, 2022
0edd7e9
23d8ddb
added a commit that references this issue on Aug 12, 2022
d6b041e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      Build binaries for Ubuntu 22.04 · Issue #21 · GaloisInc/what4-solvers