Tests #4614
wadoontests.yml
on: merge_group
Matrix: integration-tests
Matrix: unit-tests
Annotations
15 warnings and 15 notices
|
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.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.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.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, 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.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.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, 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.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.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.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)
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.util)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
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, keyext.isabelletranslation)
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.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, key.ui)
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.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.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
|
53.9 KB |
sha256:30bb718c9dfff4b08856f1dd194e5c7bdff5075234d0af843a0fb60ba88a5f04
|
|
|
test-results-testRunAllFunProofs
|
596 KB |
sha256:6b4133490f897e924543c6c720cb93ab01ecbc5cf42b02d3cf15341920fb5974
|
|
|
test-results-testRunAllInfProofs
|
81 KB |
sha256:163564a454c0350a19aaa044df3b8c2c5833bc21a1b1b16f78751c5d6ddd50e6
|
|
|
test-results-testRunAllWdProofs
|
108 KB |
sha256:ca678a41c90e54468722ed9972b7cc0af9cc58c1cd8c76b4195b53770d39ee48
|
|
|
test-results-ubuntu-latest-key.core
|
834 KB |
sha256:2be1de952d37b0bcfd69599dcc743ec43d772e13111c95b4d0f47660546666bf
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.4 KB |
sha256:10aec9465f55c1a629a062a1074b67e43cf2ffe78dc1c418ec85adfcd14cb75a
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.7 KB |
sha256:182490315e818792afb1dee8f8566742563a3cb8bd5f3ac53aa0150279b83398
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
51.5 KB |
sha256:c2ef45fc5558da3ca0918c1cc61a0d8b9b5a8358f7925858da3d39265cbd2c54
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.5 KB |
sha256:faa483899bb8d9c816bf3e5c58830a7da315a11ca3eadbe1ecbc896e23d0d1de
|
|
|
test-results-ubuntu-latest-key.ncore
|
47 KB |
sha256:8a86a6f1c3136b0850f5b25ddbc9b3437d40131b4da5fb4c89423800e845606b
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.3 KB |
sha256:93ef15aadaa019fbffeaceac81ecba5d1bf105c42cd1481b8488999934258ef1
|
|
|
test-results-ubuntu-latest-key.ui
|
58.8 KB |
sha256:ec5e92e6b2a81c55946836332bb9b252c3e8311e094483227161c8a19c529a15
|
|
|
test-results-ubuntu-latest-key.util
|
74.3 KB |
sha256:4b1cf92a8326f8c90e5b01f8b42cf1fbb83beeae9d8d9a5731c226472f465d58
|
|
|
test-results-ubuntu-latest-keyext.caching
|
46.2 KB |
sha256:dc5eb951f18dee530409bcfb398cc70d0a48550bdf42eb1cbc7c86a4cc3fd6df
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52.2 KB |
sha256:cd419d5f76ff921e394f75d1c2ea9fcf3c7452107e8c617e8d061d8bb29b8d44
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.9 KB |
sha256:9ea2502b2a9e7e6510fb3f871626b88f0743c544da9b44cccbac3250b7ff83f4
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.9 KB |
sha256:e8fb0adc23a5e6bf8a437bb1b7b564d75b389e1d9396e9003c64b5ce193d1065
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
51.8 KB |
sha256:abffeeeb0fa734a92e4fcbcbafb050c9cebce9023766b9e7939580fb5e8f169d
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.9 KB |
sha256:6105cf9608c88bd9f6b2a49b0ac65c66e20aae5ad8d3091fe3ba108996a0f642
|
|
|
test-results-windows-latest-key.core
|
838 KB |
sha256:e49554d66db9167c4511ec57add808643b1e76fc5a3bc33a28b8b95f5a735061
|
|
|
test-results-windows-latest-key.core.example
|
39.5 KB |
sha256:b0e5f51bf7733db13813ab41f2733cccb0cf8464e95f0585805134dc71093ac8
|
|
|
test-results-windows-latest-key.core.infflow
|
45.7 KB |
sha256:04c8f3ae533a0a0323f2356d38d56420d59b9f6447fd250482affccf9019bdd2
|
|
|
test-results-windows-latest-key.core.testgen
|
51.6 KB |
sha256:f53abb473a9145b4b838ec746fed56b4c90d68432a233a669a389b70d7260676
|
|
|
test-results-windows-latest-key.core.wd
|
45.6 KB |
sha256:7b62911d19e5474765b0222f349d38c956f6b9960a7d2d511bfe095a48ec5c98
|
|
|
test-results-windows-latest-key.ncore
|
47.1 KB |
sha256:2b82438095fea9644d78c0efc12c10c85fbd7305ad6654bb7679112e14c93928
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.3 KB |
sha256:c7ff9175cef76a04599d9bc61edca3bdd532e39737f568185fa7396f6e1e84d6
|
|
|
test-results-windows-latest-key.ui
|
58.9 KB |
sha256:8f2cf35eb7344a17b0430266c709bbcdeadf18963acb015ddc5eb12477c0c743
|
|
|
test-results-windows-latest-key.util
|
74.5 KB |
sha256:302f5b42fd25216077b6660157983e684eacb656d78d99af2136544133e912a7
|
|
|
test-results-windows-latest-keyext.caching
|
46.2 KB |
sha256:a17a0b35f253734100466a9d23d81b5e7de4bffb5a278eb27b7eb90af9b5cfb7
|
|
|
test-results-windows-latest-keyext.exploration
|
52.3 KB |
sha256:eb68e290fccb6c9c25e624fc8eb6d19b1d3e9ca4c426fe5ff74a9d466a3aa080
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40 KB |
sha256:34f78ba3a8ba455848457f73e4993eee0f262aecde6fbf6a9a8c53f3881cac6b
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.9 KB |
sha256:ac36f5bde78a2ed92230c8a2f0dfe04d398155ab587947e017540d41316849d0
|
|
|
test-results-windows-latest-keyext.slicing
|
51.9 KB |
sha256:cbef5d6ba5cbd81df26993f50579170f148b6c645653ae154a16c37f56dace01
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40 KB |
sha256:706abed8ca97bde130f3fe350cd3a1159fad3c9e26512f8863b7ffc5da233100
|
|