Skip to content
PythonTA Tests

Fix crash when z3 is missing and add transform error reporting (#1118) #1704

Sign in to view logs

Fix crash when z3 is missing and add transform error reporting (#1118)

Fix crash when z3 is missing and add transform error reporting (#1118) #1704

Triggered via push December 7, 2024 15:25
@david-yz-liudavid-yz-liu
pushed 75163b9
master
Status Success
Total duration 4m 8s
Artifacts –

test.yml

on: push
Matrix: test
docs
24s
docs
finish
6s
finish
Fit to window
Zoom out
Zoom in

Annotations

7 warnings
docs
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (3.9)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (3.11)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (3.10)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (3.12)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (3.13)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
finish
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636