🐛 fix regression on emulated platforms #2246
burgholzerci.yml
on: push
🔍 Change
/
🕵️ Check
7s
Matrix: 🇨 Test / 🍎 / cpp-tests-macos
Matrix: 🇨 Test / cpp-tests-ubuntu
Matrix: 🇨 Test / cpp-tests-windows
🇨 Test
/
...
/
📈 Coverage
7m 5s
🇨 Lint
/
🚨 Lint
50s
🐍 Test
/
...
/
🚨 Lint
1m 10s
📝 CodeQL
/
...
/
🇨 Analysis
9m 41s
📝 CodeQL
/
...
/
🐍 Analysis
2m 10s
Matrix: 🐍 Test / python-tests-macos
Matrix: 🐍 Test / python-tests-ubuntu
Matrix: 🐍 Test / python-tests-windows
🚦 Check
3s
Annotations
3 errors and 14 warnings
|
🇨 Lint / 🚨 Lint
Process completed with exit code 1.
|
|
🐍 Test / 🍎 3.8 macos-14 / 🐍 3.8 macos-14
[notice] A new release of pip is available: 21.1.1 -> 24.2
[notice] To update, run: python3.8 -m pip install --upgrade pip
|
|
🚦 Check
Process completed with exit code 1.
|
|
cmake/try_z3.cpp:2:1 [misc-include-cleaner]:
cmake/try_z3.cpp#L2
included header z3.h is not used directly
|
|
cmake/try_z3.cpp:5:16 [misc-include-cleaner]:
cmake/try_z3.cpp#L5
no header providing "Z3_get_full_version" is directly included
|
|
🐍 Test / 🚨 Lint / 🚨 Lint
Using latest version of uv because no version is provided
|
|
🐍 Test / 🐧 3.10 / 🐍 3.10 ubuntu-latest
Using latest version of uv because no version is provided
|
|
🐍 Test / 🐧 3.11 / 🐍 3.11 ubuntu-latest
Using latest version of uv because no version is provided
|
|
🐍 Test / 🐧 3.12 / 🐍 3.12 ubuntu-latest
Using latest version of uv because no version is provided
|
|
🐍 Test / 🐧 3.8 / 🐍 3.8 ubuntu-latest
Using latest version of uv because no version is provided
|
|
🐍 Test / 🍎 3.12 macos-14 / 🐍 3.12 macos-14
Using latest version of uv because no version is provided
|
|
🐍 Test / 🐧 3.9 / 🐍 3.9 ubuntu-latest
Using latest version of uv because no version is provided
|
|
🐍 Test / 🍎 3.8 macos-13 / 🐍 3.8 macos-13
Using latest version of uv because no version is provided
|
|
🐍 Test / 🍎 3.12 macos-13 / 🐍 3.12 macos-13
Using latest version of uv because no version is provided
|
|
🐍 Test / 🍎 3.8 macos-14 / 🐍 3.8 macos-14
Using latest version of uv because no version is provided
|
|
🐍 Test / 🏁 3.12 / 🐍 3.12 windows-latest
Using latest version of uv because no version is provided
|
|
🐍 Test / 🏁 3.8 / 🐍 3.8 windows-latest
Using latest version of uv because no version is provided
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Package Metadata
Expired
|
4.42 KB |
|
|
Packages
Expired
|
2.42 MB |
|
|
PyPI README
Expired
|
2.87 KB |
|
|
coverage-3.10-ubuntu-latest
Expired
|
1.9 KB |
|
|
coverage-3.11-ubuntu-latest
Expired
|
1.91 KB |
|
|
coverage-3.12-macos-13
Expired
|
1.9 KB |
|
|
coverage-3.12-macos-14
Expired
|
1.9 KB |
|
|
coverage-3.12-ubuntu-latest
Expired
|
1.9 KB |
|
|
coverage-3.12-windows-latest
Expired
|
1.88 KB |
|
|
coverage-3.8-macos-13
Expired
|
1.9 KB |
|
|
coverage-3.8-macos-14
Expired
|
1.9 KB |
|
|
coverage-3.8-ubuntu-latest
Expired
|
1.91 KB |
|
|
coverage-3.8-windows-latest
Expired
|
1.88 KB |
|
|
coverage-3.9-ubuntu-latest
Expired
|
1.91 KB |
|