Skip to content

Broad Release Tests #81

Broad Release Tests

Broad Release Tests #81

Triggered via schedule December 8, 2025 05:30
Status Success
Total duration 1h 18m 1s
Artifacts 10

tests_winmac.yml

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

Annotations

10 warnings
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 (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, 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 (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, 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.
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.3 KB
sha256:b55b5bd9159ecf89110dbce0abaf9cea90358d7cc3a2a7a21610cb35028895f2
integration-test-results-testProveRules-windows-latest-21
86 KB
sha256:3c4512dc598db7e0080c2ea809264ef3b465afe4afba698500647dfdf27d2a15
integration-test-results-testRunAllFunProofs-ubuntu-latest-21
384 KB
sha256:834913cd1b9984d1eb5d7769df73d1b17c16bc6c8fba5bfeb755f3e8a0dd8df2
integration-test-results-testRunAllFunProofs-windows-latest-21
382 KB
sha256:220b451a410874010d0345c597aba727f058bf47727cf3f1c03e0e9727a832d0
integration-test-results-testRunAllInfProofs-ubuntu-latest-21
221 KB
sha256:ea64eb1bdec12c663486cc482a6ecbd3ba73b11c74706b26a626b18f2253ec73
integration-test-results-testRunAllInfProofs-windows-latest-21
221 KB
sha256:24ed2873b1bc2812c5833f8f08caf68546a44ef02b6521109ab4166f90c74c35
unit-test-results--ubuntu-latest-21
801 KB
sha256:a5fcd1543868cabbcd8267e3532f45853b6611005eace868a29667725c3763e7
unit-test-results--ubuntu-latest-23
803 KB
sha256:a60d5748d64f11bfd6b3046ccb9da3d90310d21b74637a055c6d42affa9c8d8f
unit-test-results--windows-latest-21
813 KB
sha256:df21c9f0841b8ca7aaecb2d689545b737cfbe7863607dd17b12370809c6cef67
unit-test-results--windows-latest-23
814 KB
sha256:ebbaf5df3456140195eb36f46221e19fa147532b5a66674c47b14cc3d22c676c