Skip to content

Allow true in more JML expressions #3595

Allow true in more JML expressions

Allow true in more JML expressions #3595

Re-run triggered September 22, 2025 10:56
Status Success
Total duration 4m 3s
Artifacts 34

tests.yml

on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 1 notice
unit-tests (windows-latest, 21, keyext.caching)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
unit-tests (windows-latest, 21, keyext.caching)
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
test-results-windows-latest-keyext.caching Expired
47.8 KB
sha256:e9def0ede0218ad8cd566c3d40999762f6341c30b7c5ae7f8980c7142d90dab4