Skip to content
buildpack-deps

Docker: Update Z3 and cvc5 versions in docker images #330

Sign in to view logs

Docker: Update Z3 and cvc5 versions in docker images

Docker: Update Z3 and cvc5 versions in docker images #330

Triggered via pull request December 2, 2024 20:07
@blishkoblishko
synchronize #15551
ci-update-z3-docker-images
Status Success
Total duration 59m 20s
Artifacts –

buildpack-deps.yml

on: pull_request
Matrix: buildpack-deps
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
buildpack-deps (ubuntu.clang.ossfuzz)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
buildpack-deps (emscripten)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
buildpack-deps (ubuntu2004)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
buildpack-deps (ubuntu2404)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
buildpack-deps (ubuntu2404.clang)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636