Skip to content
Build and run simple ksmt tests

Upgrade solvers #424

Sign in to view logs

Upgrade solvers

Upgrade solvers #424

Triggered via pull request September 24, 2025 11:32
@SaloedSaloed
edited #174
upgrade-solvers
Status Success
Total duration 10m 59s
Artifacts 3

build-and-run-tests.yml

on: pull_request
Matrix: Run tests
Fit to window
Zoom out
Zoom in

Annotations

3 warnings and 1 notice
Run tests (ubuntu-22.04)
Failed to restore gradle-home-v1|Linux|run_tests[48ad3765ed8c9bc118b83f7912a22def]-56e1917ee41c7c962f02f86e7888235bc852daf2: Error: Cache service responded with 400
Run tests (windows-latest)
Failed to restore gradle-home-v1|Windows|run_tests[a58668f86b2e37cb146631aef3939243]-56e1917ee41c7c962f02f86e7888235bc852daf2: Error: Cache service responded with 400
Run tests (macos-latest)
Failed to restore gradle-home-v1|macOS|run_tests[24113c59c151fcde6e3ee3fc93bb0bc2]-56e1917ee41c7c962f02f86e7888235bc852daf2: 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
150 KB
sha256:6efcec73d3c65ddfc406048deffd04add3f56ba7e0f89614937c718d2760a032
ksmt-tests-report-ubuntu-22.04 Expired
149 KB
sha256:eb166116bc6f557373ad63260161e669715a79fd6c5c8f3dda0df1c133891121
ksmt-tests-report-windows-latest Expired
150 KB
sha256:a56f7137649766b5e1c7437f307ab7918c165f7162e471ab0c4a4944bd7d3604