Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CI: switch Dockerfiles back to Ubuntu 22.04 LTS #3615

Merged
merged 3 commits into from
Nov 20, 2024
Merged

CI: switch Dockerfiles back to Ubuntu 22.04 LTS #3615

merged 3 commits into from
Nov 20, 2024

Commits on Nov 20, 2024

  1. Revert "base.Dockerfile: build base on Ubuntu 23.10" 

    This reverts commit 40516c1.
    @tahina-pro
    tahina-pro committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    c662380 View commit details
    Browse the repository at this point in the history

  2. revert devcontainer and check-world Dockerfiles to ubuntu:latest

    @tahina-pro
    tahina-pro committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    3a6b426 View commit details
    Browse the repository at this point in the history

  3. (TEMP) CI: use Ubuntu 22.04 in Dockerfiles 

    z3.4.8.5-1 can no longer be installed on Ubuntu 24.04 because
python3-distutils disappeared, and the z3 opam package has
not been fixed for version 4.8.5, and 23.10 and all prior
non-LTS are now EOL. So, this commits reverts the Dockerfiles
to the previous Ubuntu LTS, i.e. 22.04

Please revert this commit once a new opam package for z3
4.8.5 appears, or we upgrade to a new z3 (see #2974)
    @tahina-pro
    tahina-pro committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    8d8149f View commit details
    Browse the repository at this point in the history