Skip to content
Test

BackendZ3: Bypass integer string conversion limit. #976

Sign in to view logs

BackendZ3: Bypass integer string conversion limit.

BackendZ3: Bypass integer string conversion limit. #976

Triggered via pull request December 4, 2024 22:40
@ltfishltfish
synchronize #577
feat/int_length_limit_workarounds
Status Success
Total duration 1m 48s
Artifacts –

ci.yml

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

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