Skip to content
Test

Test #1495

Sign in to view logs

Test

Test #1495

Triggered via schedule December 16, 2024 06:01
@shingarovshingarov
⁠ 8333092
pure-z3
Status Success
Total duration 1m 40s
Artifacts –

ci.yml

on: schedule
Matrix: full
Matrix: z3bindings
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
Z3 bindings only - stx, ubuntu-latest,
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Z3 bindings only - stx, ubuntu-latest, z3-4.8.12
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Z3 bindings only - stx, ubuntu-latest, z3-4.13.0
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Z3 bindings only - pharo, ubuntu-latest,
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Full - pharo, ubuntu-latest, z3-4.8.12
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Z3 bindings only - pharo, ubuntu-latest, z3-4.13.0
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Z3 bindings only - pharo, ubuntu-latest, z3-4.8.12
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Full - pharo, ubuntu-latest,
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Full - pharo, ubuntu-latest, z3-4.13.0
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636