Tests #4607
unp1tests.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, 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, 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.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, 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, 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, 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, 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, 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.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.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, 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, 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, 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, keyext.isabelletranslation)
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, keyext.proofmanagement)
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, keyext.ui.testgen)
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, key.core.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, keyext.exploration)
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, 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:5f76ca6cf2fe938c34f4afb640528afabb396bb4943e5eab8183ae98ca281eb0
|
|
|
test-results-testRunAllFunProofs
|
591 KB |
sha256:1d94df2ef858fa63b1bddf9909fcb62d5f0bbd2cbe223794e7a6ee55701c8527
|
|
|
test-results-testRunAllInfProofs
|
80.9 KB |
sha256:bff1bf0ee0624746f4e873636acdfd7207bc5d6e6618668ddbb1d45142886b9d
|
|
|
test-results-testRunAllWdProofs
|
108 KB |
sha256:35cf0eae95aec0cdbda3522131b214375b3b99a362adb92c326bc86175b3ab0c
|
|
|
test-results-ubuntu-latest-key.core
|
832 KB |
sha256:723523ecfb134bb2d7fb3528809516627bd2cff98b21480678569d0d8455ffb0
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.4 KB |
sha256:e809f6caff118ffbc1ed62d2f175d157695e7a1e18137da4b97d1a97db40b075
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.7 KB |
sha256:11a9ceadcdfbf92246f54e9e54346c0d04f8d74efe97ba8fb0e248e8a5d8d0b6
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
51.5 KB |
sha256:8f7d005e8d1cd685c5296f799f475c774285270cc9f514a33cf2633831bcebdb
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.5 KB |
sha256:752ba6f776bf79648a2b08d6639a7d9234c4beac0207712af106be01b8770b65
|
|
|
test-results-ubuntu-latest-key.ncore
|
47 KB |
sha256:7c077fb7c25683f7199ea191808a59d9e10e3802c192e2ceab6d572a3a0005c8
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.3 KB |
sha256:5ee647b4ecb5035ecad025db3c098177da4be9310a3ec6820c3346c17b39ccaf
|
|
|
test-results-ubuntu-latest-key.ui
|
58.8 KB |
sha256:f77cf7eeb37ae8ffbbe096dbe8d5c6c4d39f922dd787c099764a4654c2062870
|
|
|
test-results-ubuntu-latest-key.util
|
74.2 KB |
sha256:c8c057973c95e45fdf05e2b7bc4a8af554c77344811faab03c7437c2682f4542
|
|
|
test-results-ubuntu-latest-keyext.caching
|
46.2 KB |
sha256:5fd9336e58769c0d0fddacb8ed61d80eb5b9cd14ddce594087dc94cd26c86a7e
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52.1 KB |
sha256:8e65050de25e55a0eda23f4e6c489f356787662e0c2b490e3600326753ec72d4
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.9 KB |
sha256:fb6eb91f3434e97068d66cc8038f5eb7f86b987d952aa08829a3fe17690991ab
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.9 KB |
sha256:1999ba52dde9ccb0a7440c02c12c1b81ef252493b130d31489f92eef4ffad36b
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
51.8 KB |
sha256:cd1a8a2298033c3e9ef28f2f74356e4778e90a6baae2cedbf4eaab4c52dad711
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.9 KB |
sha256:0e156fa735aef304a2152014d4798d6f4fbf1eefdf2619a9dd38f05a4ede8fd3
|
|
|
test-results-windows-latest-key.core
|
836 KB |
sha256:055be604616154236b3cc13731dc5fcd9ae47ac360e96e19801cc74c04631953
|
|
|
test-results-windows-latest-key.core.example
|
39.5 KB |
sha256:29de99aafc6d470cab893b1bc495fdc6e8b2e27419d13b5386a5540686f79a5e
|
|
|
test-results-windows-latest-key.core.infflow
|
45.7 KB |
sha256:b7020367b61819f3551ac3711a88b919aaf295c77bb04035a346215eeee2748a
|
|
|
test-results-windows-latest-key.core.testgen
|
51.6 KB |
sha256:d11f7588face77ff54d90f8b24b4dc69359f585d389d5689f178646a9a8c49e6
|
|
|
test-results-windows-latest-key.core.wd
|
45.6 KB |
sha256:1e134a46651a23d4c7d38fa6e596a5d2ece947a85d0be491e15c82d038b5582e
|
|
|
test-results-windows-latest-key.ncore
|
47.1 KB |
sha256:23993ca06a89b19decbac1857592320e9d07aa783e161a40208a2da5b0974f9f
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.3 KB |
sha256:b78e432509ac45a6bff2a964768823014eaaa81765d3bf172d1a7b8978e9dc48
|
|
|
test-results-windows-latest-key.ui
|
59 KB |
sha256:f8da5908ac2a96741784b2eba922e897c632ec4c25fc96f703e6619ef1a61ffa
|
|
|
test-results-windows-latest-key.util
|
74.5 KB |
sha256:3fb768407fae2d003fc25d5e931f35c9012d1c4afb7dcf6c3b6a94a21e7074cf
|
|
|
test-results-windows-latest-keyext.caching
|
46.2 KB |
sha256:830347b379234545bb9bb720b30f3335a069b1cadbabbc08ccafabed82b68b49
|
|
|
test-results-windows-latest-keyext.exploration
|
52.4 KB |
sha256:818cadd8ac20caaa2f265309b484730fb87882abe79e0a22e7a8baa058410852
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40 KB |
sha256:aac8d6ca90f61474b6856f2947bbbb6a26b1c0a9411d9793ee264188e98ec4ad
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.9 KB |
sha256:9443a91d02eb6509212ab887a7adc6630294716d2ef8477c192339cd8ef6164e
|
|
|
test-results-windows-latest-keyext.slicing
|
51.9 KB |
sha256:c239b16620c5c29d708c82957617be51e50e53cfd83e8a5bc4785e64016424bb
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40 KB |
sha256:56c814c6fe877ad798ab280c59e118dc0b0658f4ffc784869102ac51d5f8d001
|
|