Skip to content
Build and run simple ksmt tests

Upgrade solvers #416

Sign in to view logs

Upgrade solvers

Upgrade solvers #416

Re-run triggered September 22, 2025 17:15
@SaloedSaloed
#174
upgrade-solvers
Status Success
Total duration 9m 54s
Artifacts 3

build-and-run-tests.yml

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

Annotations

2 warnings and 1 notice
Run tests (macos-latest)
Failed to restore gradle-home-v1|macOS|run_tests[24113c59c151fcde6e3ee3fc93bb0bc2]-6b2af409d97b7dec6277f4bd3c7e786c4a81ab2e: Error: Cache service responded with 400
Run tests (windows-latest)
Failed to restore gradle-home-v1|Windows|run_tests[a58668f86b2e37cb146631aef3939243]-6b2af409d97b7dec6277f4bd3c7e786c4a81ab2e: 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:60a7dac30e092b1a8c4db7b0d7e3db4c243ab58ef5db2ef1ae0d8ff82402b2f3
ksmt-tests-report-ubuntu-22.04 Expired
149 KB
sha256:088be80c40f18f65e50c00409ee98b3a37df57d1936dde2c4e534d013f94ff76
ksmt-tests-report-windows-latest Expired
150 KB
sha256:1791b924ca8d26a3081a55decf40199e7a681982b6793ef5881df3d9dbf607fc