Skip to content

Broad Release Tests #142

Broad Release Tests

Broad Release Tests #142

Triggered via schedule December 22, 2025 05:07
Status Success
Total duration 1h 17m 38s
Artifacts 10

tests_winmac.yml

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

Annotations

10 warnings
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.
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.
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.
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 (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.
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.

Artifacts

Produced during runtime
Name Size Digest
integration-test-results-testProveRules-ubuntu-latest-21
89.5 KB
sha256:a00972299ce6c4a4186ec7e5e8f17bd9b88b7c86bfac968c418a2eebc7d094a1
integration-test-results-testProveRules-windows-latest-21
86.1 KB
sha256:9ced25c06ab812dbbd849d1cbf59c3c2d67e70ff0cfce60e6234a9c18038b6f9
integration-test-results-testRunAllFunProofs-ubuntu-latest-21
384 KB
sha256:093587ac538b4e355c87ba3cf47200449a46f188cebe03d2427f258093dafc6a
integration-test-results-testRunAllFunProofs-windows-latest-21
382 KB
sha256:e6e9c1ee4701a1ca02d8904c5f90cc2773c68da3ce16970eec41ae9cb8db9779
integration-test-results-testRunAllInfProofs-ubuntu-latest-21
221 KB
sha256:8e1e3c79948b18d60218fa7b7d573d675635160c95446e111b49b4a35728dbf3
integration-test-results-testRunAllInfProofs-windows-latest-21
220 KB
sha256:c098d8acbda9f15957eb18c5779d068f086d8bd550418f1b239c92c70bde1362
unit-test-results--ubuntu-latest-21
802 KB
sha256:b189168ce2184e1556f8e093df781b5e932bf644dba7edfc5d6f4d99d5f5ec3c
unit-test-results--ubuntu-latest-23
801 KB
sha256:e9b5dac5ba3108d5b5f39ea24f2279a2207d2f012fa9ac8d7f1103d101756a69
unit-test-results--windows-latest-21
813 KB
sha256:8fd60e051a91676d86b94ffcabce7134e075fb72c800e5e0c5d2f2ca50466440
unit-test-results--windows-latest-23
813 KB
sha256:e39b5202c04312dbf2af385df3f2292fc415def3cb748ba61443d511c1949fe1