Upgrade solvers #423
SaloedAnnotations
5 errors, 4 warnings, and 1 notice
|
Run tests (ubuntu-22.04)
Process completed with exit code 1.
|
|
Run tests (windows-latest)
The operation was canceled.
|
|
Run tests (windows-latest)
The strategy configuration was canceled because "run_tests.ubuntu-22_04" failed
|
|
Run tests (macos-latest)
The operation was canceled.
|
|
Run tests (macos-latest)
The strategy configuration was canceled because "run_tests.ubuntu-22_04" failed
|
|
Run tests (ubuntu-22.04)
Failed to restore gradle-home-v1|Linux|run_tests[48ad3765ed8c9bc118b83f7912a22def]-80b07d2f66bab2c77d31a799a34183a530a36846: Error: Cache service responded with 400
|
|
Run tests (windows-latest)
No files were found with the provided path: ./**/build/reports/tests/test/. No artifacts will be uploaded.
|
|
Run tests (windows-latest)
Failed to restore gradle-home-v1|Windows|run_tests[a58668f86b2e37cb146631aef3939243]-80b07d2f66bab2c77d31a799a34183a530a36846: Error: Cache service responded with 400
|
|
Run tests (macos-latest)
Failed to restore gradle-home-v1|macOS|run_tests[24113c59c151fcde6e3ee3fc93bb0bc2]-80b07d2f66bab2c77d31a799a34183a530a36846: Error: Cache service responded with 400
|
|
Run tests (windows-latest)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ksmt-tests-report-macos-latest
Expired
|
29.9 KB |
sha256:aa534553cd744415201aab573626593ae6e725d23f8bd80589d9f5dbeb7be246
|
|
|
ksmt-tests-report-ubuntu-22.04
Expired
|
149 KB |
sha256:78b6137a35140a8e33b1ff3c1747f2f6ad304f381eabbc55f2ec7f1a366dfa75
|
|