Skip to content
Test

Update z3 to 4.13.4.0 #986

Sign in to view logs

Update z3 to 4.13.4.0

Update z3 to 4.13.4.0 #986

Triggered via pull request December 18, 2024 22:10
@twizmwazintwizmwazin
opened #582
dep/z3-4.13.4.0
Status Success
Total duration 1m 43s
Artifacts –

ci.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Test (ubuntu-latest, Python 3.12)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test (ubuntu-latest, Python 3.10)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test (ubuntu-latest, Python 3.13-dev)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636