Artifacts are now on mvn central #4560
wadoontests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
12 warnings and 12 notices
|
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, 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.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.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.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.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, 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.exploration)
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.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:a7b45b7fe0e53f3197ff4c30acce7aecb9aace008ef08a07f73cfb83ff4d121e
|
|
|
test-results-testRunAllFunProofs
|
587 KB |
sha256:41322e7ec7a6c0c48c665e80641c226071b3561bfa0a08d0a4ddacf70c4305ab
|
|
|
test-results-testRunAllInfProofs
|
81 KB |
sha256:f84a1503e3c429036720a7689298044260a96e0cd735457e20656764fc9b81e1
|
|
|
test-results-testRunAllWdProofs
|
108 KB |
sha256:9c8177b591e20bf491ba616e51f526b722018080bee4d21e3fbe4ed157b2c35a
|
|
|
test-results-ubuntu-latest-key.core
|
821 KB |
sha256:29e72c857a4538f00c6a6b1bb70e90ef8ee05784067bbae1c5b5b8333c1450bb
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.4 KB |
sha256:23ed98e64a449e9848176c67b39a11b85fee43f38535c523483de5ebedf40f5e
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.6 KB |
sha256:3bde144c4ee89d82527cedc1b4d1f21a6e0da8e802b83723c26859e9f1f4e28a
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
51.5 KB |
sha256:4ce0087c69dc93ffb309ec2fa47d5297c33fe61277c33e1220d1dd23b88edb3e
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.5 KB |
sha256:8cd904f97f08b05bc139c9ac6248ba570882da782a0b77c385d4f6d3b3d969c5
|
|
|
test-results-ubuntu-latest-key.ui
|
55.5 KB |
sha256:5954715b49220692b9043e752366a1e56537a06e301bfed0fbf1c1449d249c7c
|
|
|
test-results-ubuntu-latest-keyext.caching
|
46.2 KB |
sha256:ad03a22e988d555b2c781aaa919105fe154b54cb0b577de26e446c546a46a7d6
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52.2 KB |
sha256:ec1215e5d2151e87ae160809982dcf10101039d6d7992f94904b0ec943ae6dab
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.9 KB |
sha256:32b1290a31928311ed76fab0a72a565d3dbf28a55d2954f4af891d6eeb1d98b2
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.9 KB |
sha256:b07992f1e42191b9613b29591aaa6ed48356fc1ed5e385f5e8d8f670499fb398
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
51.8 KB |
sha256:1713e53a82b0931d9f0d20412ef44e0a401ade071188c5ab97d1375d4acc21a6
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.9 KB |
sha256:21a8547e75f1a1d5bd3ce6af007397c6cb2ad63f2011e3ee3e098480fcd252d1
|
|
|
test-results-windows-latest-key.core
|
825 KB |
sha256:858bc5bd01996acfe2e75f6b065bce87d384c48f8b67e70b7a3a2f074483ac92
|
|
|
test-results-windows-latest-key.core.example
|
39.5 KB |
sha256:80fbaa2541454caed4bd68b7fa267a9955ac5c157d5c3cdb82ace595be964a70
|
|
|
test-results-windows-latest-key.core.infflow
|
45.7 KB |
sha256:0750f23c1f62b7c38d47e7751d4930e6cbe2e02603b83af08282ea8dad2ba6cb
|
|
|
test-results-windows-latest-key.core.testgen
|
51.6 KB |
sha256:ba0005a1bfc551693b4e2a485910fa76e52d3bb18b4728aa5f2c08530d2a06e6
|
|
|
test-results-windows-latest-key.core.wd
|
45.6 KB |
sha256:b4e4a7465ad4e29f73423fa70c0e1da2f4406ac1077ffa44f86dc31407ec2fc0
|
|
|
test-results-windows-latest-key.ui
|
55.6 KB |
sha256:83e3fa23ec5aa135ba9998ae849c2369f4cedca605c1f9eda63e2c861be30c3e
|
|
|
test-results-windows-latest-keyext.caching
|
46.2 KB |
sha256:aa253636a12c0c15c2bf3c03f5a990c7b4a0fda6344924810947ed636b4d7515
|
|
|
test-results-windows-latest-keyext.exploration
|
52.3 KB |
sha256:18979a3e0630fba816a63731be0f4210df80c4ba7199ea0440426610463be310
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40 KB |
sha256:d7fc7e279fa5089fe1cbec535d647e23af81d2c0547113625208bda46801c8c3
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.9 KB |
sha256:ca0d3697b593204eae13cb2b6acd01aeafe91e3e14d2c8377cea7c9a816bf29a
|
|
|
test-results-windows-latest-keyext.slicing
|
51.9 KB |
sha256:d81c4ab38f5a99bf2a87daf0c856de043746be613e5a67c18a1de40536ff77c3
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40 KB |
sha256:63b7eb0f25e6b2054a396c9656f3ee49f633fcdef85f5e70f7c2dfeb2cebe795
|
|