Skip to content

[CI] Bump CI at the Ubuntu 24.04 images and re-enable USE_Z3#19911

Open
tlopex wants to merge 1 commit into
apache:mainfrom
tlopex:ci-update-images-noble
Open

[CI] Bump CI at the Ubuntu 24.04 images and re-enable USE_Z3#19911
tlopex wants to merge 1 commit into
apache:mainfrom
tlopex:ci-update-images-noble

[CI][ARITH] Point CI at the Ubuntu 24.04 images and re-enable USE_Z3 …

7124a07
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
cc-reviewers
succeeded Jun 30, 2026 in 34s