Tests #4567
wadoontests.yml
on: merge_group
Matrix: integration-tests
Matrix: unit-tests
Annotations
15 warnings and 15 notices
|
unit-tests (windows-latest, 21, key.ncore.calculus)
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, key.ncore)
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.isabelletranslation)
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, key.util)
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, key.core.infflow)
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, key.core.wd)
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, key.core.example)
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, key.ui)
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.proofmanagement)
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.ui.testgen)
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)
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, key.core.testgen)
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.slicing)
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.exploration)
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, key.core)
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, key.ncore.calculus)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.ncore)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, keyext.isabelletranslation)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.util)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.core.infflow)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.core.wd)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.core.example)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.ui)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, keyext.proofmanagement)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, keyext.ui.testgen)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, keyext.caching)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.core.testgen)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, keyext.slicing)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, keyext.exploration)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.core)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
test-results-testProveRules
|
54 KB |
sha256:eca3a072d8d31451e7e83b041dc18da36893f24ad051f902ed8cb2af9c54a211
|
|
|
test-results-testRunAllFunProofs
|
587 KB |
sha256:668b5340e5d87861d6811958565caf940979befa3cdc39d31de293f04b42e7cb
|
|
|
test-results-testRunAllInfProofs
|
80.9 KB |
sha256:281be80e9cbaed619bb7596c6f4aa11f30c0572a9e1eb1908036b01e0f4260e4
|
|
|
test-results-testRunAllWdProofs
|
108 KB |
sha256:dcaa4df154fc007aec3d34d4b003165a5ffcf35a8676610029fffe2e065acc53
|
|
|
test-results-ubuntu-latest-key.core
|
821 KB |
sha256:1fd276713323d71a2126f5df67c198ecc462085ef55c77e4bca1af791aea0467
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.4 KB |
sha256:3fe53848b722fe546d74c0d82d788b5a6f8278d5aca514d03eaae367a2d50f29
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.6 KB |
sha256:9a66b709e2cd68c28534072b5e871e218fd19a1742b83c0e2b08f73326ff3788
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
51.5 KB |
sha256:27155bbf1945d87a5b6dba9836afa6bb8e0c60aed30ffd3e1ce29800f037b09d
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.5 KB |
sha256:7bbd7035c4306361ffa8ff073d2d2068b767c47f3b76938e0c7cb49267ed4bfd
|
|
|
test-results-ubuntu-latest-key.ncore
|
47 KB |
sha256:772c33f2c4c2ad8761de6c6f2cd2a80f080e2492b4071a65c5ad1017ad4737ba
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.3 KB |
sha256:7815abf6f5e9b49bff8325a48af3cb3e8c3956404cf7fe5090a16ec00c28c7ed
|
|
|
test-results-ubuntu-latest-key.ui
|
55.5 KB |
sha256:eebb9263700e066a9b3ff33a35fe80c196f997cc9d43e7344f0c09a4dc6394cf
|
|
|
test-results-ubuntu-latest-key.util
|
74.2 KB |
sha256:9c842d73ed305b7f81e22ebebcf2a4aceeafc74e98e4d04d2d4d2ae557673eee
|
|
|
test-results-ubuntu-latest-keyext.caching
|
46.2 KB |
sha256:20178100456e093679709cae3e13825a72ee79a6945145a3c09fe92f898b2301
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52.2 KB |
sha256:7c071d13b0e66d4b652e04fdb323d6304ee2e77ac709e595f1648977cbd7da7d
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.9 KB |
sha256:9d843124754f88bec7be957bd5bd4ebbf6849f74259c27e7cabb368354608707
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.9 KB |
sha256:c5cd2c420570c42cdaf13a163c43944b07be324120286a33f873e61b50545de0
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
51.8 KB |
sha256:6c643ba9c7cc6731a918c30981298eff28b83f69fd7f16efaba8d9fd3589841b
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.9 KB |
sha256:22b84d3827e99260456ea7da6ff4c5bd86d05df7cf23907733acee7307bec463
|
|
|
test-results-windows-latest-key.core
|
826 KB |
sha256:f596d40af76e636e1b102e05fa9c5dfb28d55220f236a23e7f24b8bc53d4ccd1
|
|
|
test-results-windows-latest-key.core.example
|
39.5 KB |
sha256:be4ca8390c847f24b0ba1ca5be98bc9c5406109f0d495ed40c3af73db07ec663
|
|
|
test-results-windows-latest-key.core.infflow
|
45.7 KB |
sha256:c5147af9a50e9c5e201e1cab803f547fb59a935af61f74b01ecbfd0fcbc24108
|
|
|
test-results-windows-latest-key.core.testgen
|
51.6 KB |
sha256:fb687851b8c566a298d5eb2a4f045e1271cdc50b986fc1de0b8ccc87e7eacdaf
|
|
|
test-results-windows-latest-key.core.wd
|
45.6 KB |
sha256:1dc28a17e48f9091d74401e067e9ae68a1462bcd156541a133d0cbd0cfb983d1
|
|
|
test-results-windows-latest-key.ncore
|
47.1 KB |
sha256:8af730f1cb94445ebabd085bf85392af188c5dbf307611a50e119c0f5a973d9e
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.3 KB |
sha256:a7b7cfca833ade855486c83c86da8b9c6ed9a7c15a87b0f508bfee7c25963bc6
|
|
|
test-results-windows-latest-key.ui
|
55.6 KB |
sha256:3b5f9aaa1a732617712484920d0746e1edd2213144e9e6ece2d4f8e3877bbb76
|
|
|
test-results-windows-latest-key.util
|
74.5 KB |
sha256:9b636499293490e3a67e63cb1923900676f96d7d01cae786ce5598c8100cad4e
|
|
|
test-results-windows-latest-keyext.caching
|
46.2 KB |
sha256:bfc1973b045b816f4a78d4dfb0e48462cc07d91d05c8b40520c18339ff720160
|
|
|
test-results-windows-latest-keyext.exploration
|
52.3 KB |
sha256:6c06fbf0b8a758d189972ad080d3065ec7e61dac2689822499025d4c1fcbadce
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40 KB |
sha256:3dc210d80d2dea666eea8dead110298621eee9cb7c1af93ec4de4eae5d97c0b1
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.9 KB |
sha256:004dbee393889725f41897673a4c2299140c51088c250d2b574989e345e77d5f
|
|
|
test-results-windows-latest-keyext.slicing
|
51.9 KB |
sha256:2fecb171003fd1338403bb278a287210f3fac122149906aefad6f36f824a0026
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40 KB |
sha256:126d72c9bc0cd1af931fa0fbb6e82f257e221be697be2b6cebcc247b58d5e1d3
|
|