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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docs
24s
test (3.9)
1m 54s
test (3.10)
2m 27s
test (3.11)
2m 12s
test (3.12)
3m 16s
test (3.13)
3m 44s
finish
6s
14m 3s