📝 Add docstrings to na-zx-synthesis-merge
#3510
Triggered via pull request
December 18, 2025 08:53
pre-commit-ci[bot]
Status
Failure
Total duration
32m 50s
Artifacts
–
ci.yml
on: pull_request
🔍 Change
/
🕵️ Check
7s
Matrix: 🐍 Test
Matrix: 🚀 CD
Waiting for pending jobs
Matrix: 🇨 Test (Extensive) 🍎
Waiting for pending jobs
Matrix: 🇨 Test (Extensive) 🐧
Waiting for pending jobs
Matrix: 🇨 Test (Extensive) 🏁
Waiting for pending jobs
Matrix: 🇨 Test 🍎
Matrix: 🇨 Test 🐧
Matrix: 🇨 Test 🏁
Matrix: 🐍 Test (Extensive)
Waiting for pending jobs
🇨 Coverage
/
📈 Coverage
6m 40s
🇨 Lint
/
🚨 Lint
2m 4s
🐍 Lint
/
🚨 Lint
26s
🚀 CD
/
📦 SDist
🐍 Coverage
/
📈 Coverage
🚦 Check
3s
Annotations
7 errors and 9 warnings
|
🇨 Test 🐧 (ubuntu-24.04-arm, gcc, Release) / 🐧 ubuntu-24.04-arm gcc Release
Action 'https://api.github.com/repos/cda-tum/setup-z3/tarball/edb99468071192a5a4e2c4dbdb15f74a9df11d09' download has timed out. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
🐍 Test (ubuntu-24.04-arm) / 🐍 ubuntu-24.04-arm
Process completed with exit code 1.
|
|
🐍 Test (ubuntu-24.04) / 🐍 ubuntu-24.04
Process completed with exit code 1.
|
|
🐍 Test (macos-15-intel) / 🐍 macos-15-intel
Process completed with exit code 1.
|
|
🐍 Test (windows-2022) / 🐍 windows-2022
Process completed with exit code 1.
|
|
🐍 Test (macos-14) / 🐍 macos-14
Process completed with exit code 1.
|
|
🚦 Check
Process completed with exit code 1.
|
|
🇨 Test 🍎 (macos-15-intel, clang, Release) / 🍎 macos-15-intel clang Release
ninja 1.13.2 is already installed and up-to-date.
To reinstall 1.13.2, run:
brew reinstall ninja
|
|
🇨 Test 🐧 (ubuntu-24.04-arm, gcc, Release) / 🐧 ubuntu-24.04-arm gcc Release
Back off 20.891 seconds before retry.
|
|
🇨 Test 🐧 (ubuntu-24.04-arm, gcc, Release) / 🐧 ubuntu-24.04-arm gcc Release
Failed to download action 'https://api.github.com/repos/cda-tum/setup-z3/tarball/edb99468071192a5a4e2c4dbdb15f74a9df11d09'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
🇨 Test 🐧 (ubuntu-24.04-arm, gcc, Release) / 🐧 ubuntu-24.04-arm gcc Release
Back off 13.936 seconds before retry.
|
|
🇨 Test 🐧 (ubuntu-24.04-arm, gcc, Release) / 🐧 ubuntu-24.04-arm gcc Release
Failed to download action 'https://api.github.com/repos/cda-tum/setup-z3/tarball/edb99468071192a5a4e2c4dbdb15f74a9df11d09'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
🇨 Test 🍎 (macos-14, clang, Debug) / 🍎 macos-14 clang Debug
ninja 1.13.2 is already installed and up-to-date.
To reinstall 1.13.2, run:
brew reinstall ninja
|
|
🇨 Test 🍎 (macos-14, clang, Release) / 🍎 macos-14 clang Release
ninja 1.13.2 is already installed and up-to-date.
To reinstall 1.13.2, run:
brew reinstall ninja
|
|
🐍 Test (macos-14) / 🐍 macos-14
Back off 19.698 seconds before retry.
|
|
🐍 Test (macos-14) / 🐍 macos-14
Failed to download action 'https://api.github.com/repos/rui314/setup-mold/tarball/725a8794d15fc7563f59595bd9556495c0564878'. Error: Operation timed out (api.github.com:443)
|