Create a JSON-RPC for KeY #4582
wadoontests.yml
on: pull_request
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.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.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.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.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.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.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.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.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.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.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.ui)
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.testgen)
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.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
|
54.3 KB |
sha256:a718318d9d111ee703cfee15bf622b48f99d5d2ff40e45879867e86d1f03cb6d
|
|
|
test-results-testRunAllFunProofs
|
588 KB |
sha256:48c40b4e0ce9e6e5a9d663edc21572b59deac8958dd0b5a197208df5081aa543
|
|
|
test-results-testRunAllInfProofs
|
81.3 KB |
sha256:5097c1bc8381b908e10ed432efc5b1ae42969941e550506f142c5dcec0b0a52f
|
|
|
test-results-testRunAllWdProofs
|
108 KB |
sha256:064d70bfe31ad1a323977b69c2a93d10844120d0b8b1819b444498913eb3fad8
|
|
|
test-results-ubuntu-latest-key.core
|
822 KB |
sha256:008b7adfc428fa17e6e63398f3ef0b53a9ee7d99d342d8e69f8db21a984e77c7
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.7 KB |
sha256:170f62afcde5d32a2bafd68a55855a5c36192cfc60ee22e2276e7f61ed2c8477
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.9 KB |
sha256:d1606161c0fa9c7f0a86e366636a414451629231ceb8854998d098d419b94907
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
51.8 KB |
sha256:ba0cadb14787a84b337bcaea06edc190ef6519deebc0a6aa6507a620aa812be1
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.8 KB |
sha256:6ba2e701d5d0c2e606e500697d295dc049cb6ff48767e696270dab19e31bfac4
|
|
|
test-results-ubuntu-latest-key.ncore
|
47.3 KB |
sha256:6d99305b10cebc6e35e622da2e44ff3a9d385191796985a03c196046ea189643
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.6 KB |
sha256:162b63a5a022ec02534259b66debbe10579cecc15ddd915285c48c761480dec0
|
|
|
test-results-ubuntu-latest-key.ui
|
55.8 KB |
sha256:75640bf66ba3191b6d0eedc11f9e296a20d4d2c3c8f77c6e6a5458ccd5f226a5
|
|
|
test-results-ubuntu-latest-key.util
|
74.5 KB |
sha256:b5b41fd87303e0389b4792525f6276b166142658c2e95c026c7d19dcd4d51cb9
|
|
|
test-results-ubuntu-latest-keyext.caching
|
46.5 KB |
sha256:d34adf4c0af5534faa2303d14bf8fbac4d1f08767344c1ddfefdb159af5e77a5
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52.5 KB |
sha256:a5c8717c9eee90ed8047d9679818ddc1ed144a64d9376f1bc3d558c1be8fd3fc
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
40.2 KB |
sha256:898c13771950702fa40215d146d7b2123f7f910f755366116af7fcd61ad83474
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
40.2 KB |
sha256:92b8e9fdba03618c480ca85c5010d583c62a1e891d739b004f2f8ee560e516f4
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
52.1 KB |
sha256:c80070561d7b1860016d950a77627ff461c6d6d441f9997cfd595066ef399626
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
40.2 KB |
sha256:f950175f2fc936dee62a1db2a006a9031bd49ff92c9ab69e2405e189e4c9cc6a
|
|
|
test-results-windows-latest-key.core
|
826 KB |
sha256:9daf3a27b6959b05ab76c56d88267e35e883e2e54603b6ff3a543073bf25a948
|
|
|
test-results-windows-latest-key.core.example
|
39.7 KB |
sha256:ad5b58ce5eb169771bb1ecdb0731b6f866b1b518c0fdc269f305c29ef27619d7
|
|
|
test-results-windows-latest-key.core.infflow
|
46 KB |
sha256:259c919bce71eca1f6e5b5233f590f5f70c8af547d6eefa7c0024f6c9738d9db
|
|
|
test-results-windows-latest-key.core.testgen
|
51.9 KB |
sha256:9a33f498142193c6d1a863b50c7d4d65e67a94adaaa26b16a3b7c3999fff99f4
|
|
|
test-results-windows-latest-key.core.wd
|
45.9 KB |
sha256:62c842dc1c6c9abb7f4a7607d7985ce9fb41fb6d62df6cde1e280289c1c08dfe
|
|
|
test-results-windows-latest-key.ncore
|
47.4 KB |
sha256:a407459da50de4a8b495b54a62ebfe47f3a1942ae29c0c3d35933e3f717dcfc0
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.6 KB |
sha256:3b6dcc52d4abc73f00fcff71c007da583fec8b3ac24221fe4648f898c0431ce0
|
|
|
test-results-windows-latest-key.ui
|
55.9 KB |
sha256:2a93a95ed7ce67e1b7b4b84b8f34ec5da7a258bbe8a11cf81ed2813c32bdaf30
|
|
|
test-results-windows-latest-key.util
|
74.8 KB |
sha256:e61ef005b8083dfc89353f03a74afd0062fdead1670a1b631db5e6b805c6c8b9
|
|
|
test-results-windows-latest-keyext.caching
|
46.5 KB |
sha256:bc38a91fa0d0efeb642fa9e4fb7b172f6358ba0bc52de6060700ada4da901213
|
|
|
test-results-windows-latest-keyext.exploration
|
52.6 KB |
sha256:a5afa76cd0e38b2190762cec10f33168e8814be66286a3cf4bed830d6e53b4db
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40.2 KB |
sha256:37baf568cf65d1c3a4499c768829815cf1c9258ce3ae5eba836cdbc190194028
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
40.2 KB |
sha256:3918c4e3e53cda97d2f663e8f8beac184eb1689fb90cbf73082f5ebefb2c13fb
|
|
|
test-results-windows-latest-keyext.slicing
|
52.2 KB |
sha256:95be565b645e5a0944e63c5c970a7c9aeba60cd287b6a7b7cca97bd2189dcd28
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40.2 KB |
sha256:78bd59ddb3b2191829bce406f979373ac09bddeb04437a9af4796740c67af221
|
|