Skip to content

Broad Release Tests #120

Broad Release Tests

Broad Release Tests #120

Triggered via schedule July 21, 2025 05:26
Status Success
Total duration 1h 12m 37s
Artifacts 10

tests_winmac.yml

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

Annotations

10 warnings and 10 notices
integration-tests (testRunAllFunProofs, macos-latest, 21)
No files were found with the provided path: **/build/test-results/*/*.xml key.core/build/reports/runallproofs/* **/build/reports/ !**/jacocoTestReport.xml. No artifacts will be uploaded.
unit-tests (macos-latest, 21)
No files were found with the provided path: **/build/test-results/*/*.xml **/build/reports/ !**/jacocoTestReport.xml. No artifacts will be uploaded.
integration-tests (testProveRules, macos-latest, 21)
No files were found with the provided path: **/build/test-results/*/*.xml key.core/build/reports/runallproofs/* **/build/reports/ !**/jacocoTestReport.xml. No artifacts will be uploaded.
integration-tests (testRunAllInfProofs, macos-latest, 21)
No files were found with the provided path: **/build/test-results/*/*.xml key.core/build/reports/runallproofs/* **/build/reports/ !**/jacocoTestReport.xml. No artifacts will be uploaded.
unit-tests (macos-latest, 23)
No files were found with the provided path: **/build/test-results/*/*.xml **/build/reports/ !**/jacocoTestReport.xml. No artifacts will be uploaded.
integration-tests (testProveRules, windows-latest, 21)
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, 23)
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)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
integration-tests (testRunAllInfProofs, windows-latest, 21)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
integration-tests (testRunAllFunProofs, windows-latest, 21)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
integration-tests (testRunAllFunProofs, macos-latest, 21)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
integration-tests (testRunAllFunProofs, macos-latest, 21)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
unit-tests (macos-latest, 21)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
unit-tests (macos-latest, 21)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
integration-tests (testProveRules, macos-latest, 21)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
integration-tests (testProveRules, macos-latest, 21)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
integration-tests (testRunAllInfProofs, macos-latest, 21)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
integration-tests (testRunAllInfProofs, macos-latest, 21)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
unit-tests (macos-latest, 23)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
unit-tests (macos-latest, 23)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520

Artifacts

Produced during runtime
Name Size Digest
integration-test-results-testProveRules-ubuntu-latest-21
88.5 KB
sha256:04a3943cc472b3dbdf9755fb0f6e0d93fd5a5ed2073f04cb8988a09d19ee9423
integration-test-results-testProveRules-windows-latest-21
82.9 KB
sha256:d46a30e27a35916c2113c376e28cabcab627a964be27619b46661da0aba38e3a
integration-test-results-testRunAllFunProofs-ubuntu-latest-21
382 KB
sha256:179c43261af2b052f42ea141778f4fe559057a2f8d0b8c2027100f72bf1995d1
integration-test-results-testRunAllFunProofs-windows-latest-21
369 KB
sha256:928f9cf8abb05d7001e5cbbde0a3b762ce8c0a689f34bf19f004414dddec7536
integration-test-results-testRunAllInfProofs-ubuntu-latest-21
217 KB
sha256:0686e444311284fd5e1423d11bacbe2b1523b1ca130d9f8a0243d097cb6389a9
integration-test-results-testRunAllInfProofs-windows-latest-21
212 KB
sha256:a41b254de1450d9b57b4bbf6f7c398bcb939f31e29f301e4550b70f532169724
unit-test-results--ubuntu-latest-21
774 KB
sha256:d8140b533ce942fc29711382953c165aa51811e347f0d09aa93f72f60abcc911
unit-test-results--ubuntu-latest-23
774 KB
sha256:18d923dbbd3e2ff208acd1ee16fdb4bf04e41f4e7dbae52322bc67699cbe0f83
unit-test-results--windows-latest-21
772 KB
sha256:50bfd3d39192dad31baa717af2e40eb696409e93b40bcafbab1a3b824e48d912
unit-test-results--windows-latest-23
772 KB
sha256:5d9f96cde2f855a0110224e60f62f875546168df612c5f76d48635f9f2e221fd