Test

BackendZ3: Bypass integer string conversion limit. #974

Sign in to view logs

Triggered via pull request December 4, 2024 22:08

ltfish

synchronize #577

feat/int_length_limit_workarounds

Status Success

Total duration 1m 40s

Artifacts –

ci.yml

on: pull_request

Matrix: test

Annotations

3 warnings

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.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.13-dev)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636