Clean up the Java AST: Avoid sub-classes in favor of Enum #4514
wadoontests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
11 errors, 11 warnings, and 15 notices
|
unit-tests (ubuntu-latest, 21, key.core.testgen)
Process completed with exit code 1.
|
|
unit-tests (ubuntu-latest, 21, keyext.caching)
Process completed with exit code 1.
|
|
unit-tests (windows-latest, 21, key.core.testgen)
Process completed with exit code 1.
|
|
unit-tests (ubuntu-latest, 21, keyext.slicing)
Process completed with exit code 1.
|
|
unit-tests (windows-latest, 21, keyext.caching)
Process completed with exit code 1.
|
|
unit-tests (windows-latest, 21, keyext.slicing)
Process completed with exit code 1.
|
|
integration-tests (testRunAllWdProofs, ubuntu-latest, 21)
Process completed with exit code 1.
|
|
unit-tests (ubuntu-latest, 21, key.core)
Process completed with exit code 1.
|
|
unit-tests (windows-latest, 21, key.core)
Process completed with exit code 1.
|
|
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
Process completed with exit code 1.
|
|
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
Process completed with exit code 1.
|
|
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.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.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.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.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.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.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.ncore.calculus)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.ncore)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.core.example)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.util)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.core.wd)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, keyext.ui.testgen)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, keyext.isabelletranslation)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.core.infflow)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.core.testgen)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.ui)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, keyext.proofmanagement)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, keyext.caching)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, keyext.exploration)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, keyext.slicing)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.core)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
test-results-testProveRules
|
53.9 KB |
sha256:5254761efee42653becc802b50a5699290974f2854dd9efba27b2d16ef481423
|
|
|
test-results-testRunAllFunProofs
|
687 KB |
sha256:a1717d7e3e6979999ec895e69603bdeaf855e4828f0a6a8eb7e6d099a6472146
|
|
|
test-results-testRunAllInfProofs
|
137 KB |
sha256:babf4df885e66f86abee43a229446d692394782b26d56fb83857aa762f9ce760
|
|
|
test-results-testRunAllWdProofs
|
127 KB |
sha256:05133a8fd1ccec8ac820243c19c4d85a6725f8c67213399b1d179e588083019e
|
|
|
test-results-ubuntu-latest-key.core
|
883 KB |
sha256:3b063db361fece0a3da78e260672d2bd70b2cd999db4990a0b4f690ff39615e0
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.4 KB |
sha256:4722e310e892a6e16afde605660046cef6399dab37b407d800d59e12917954cb
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.7 KB |
sha256:73a5125d28ea8074fa0eed6b6a1ca0763f96e6cbd57c40a4d2157dab425abd07
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
55 KB |
sha256:2559f83f55b80f1e9389ec3cbe530355a40fb9e153f5ad9e8ffa8dd90397da7d
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.5 KB |
sha256:196ccf3d975540577014674c2d5aa41746cf08864881ffc892e48a36b22e3f82
|
|
|
test-results-ubuntu-latest-key.ncore
|
47 KB |
sha256:f7caa238befd5ac9c7b454b24d13bb2b8c55a4c8ed66a9fe0fbec37b93d050a2
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.3 KB |
sha256:589b11fa0518dbaa086c4db703d1fd25570a9a6c378bd3381497f3867385cfca
|
|
|
test-results-ubuntu-latest-key.ui
|
54.4 KB |
sha256:7cd623b7c5698ecda5dfafa11844cc3fc0d36ca8edb8f0f882d018546695208e
|
|
|
test-results-ubuntu-latest-key.util
|
74.2 KB |
sha256:c69d11f3525e958a84404bb3c4caf8cafa9b5524ac6b46164fc151123f89ea35
|
|
|
test-results-ubuntu-latest-keyext.caching
|
50.1 KB |
sha256:87afdafab19a404fb36231b425f8d02a704ae1a7131713f1a76d5dec7ebe911f
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52.1 KB |
sha256:b03d819fdad23d3d2086ee793fdd3b66ec62d005c5b961985cf11edab13a0116
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.9 KB |
sha256:9f81147a1b5ef47562d406b46f60964a65b6568660e31aab9407d43c9fd70544
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.9 KB |
sha256:31ce727c641238e9386a937609184628cbfa5f5a10fc8c872e7508b5c4904848
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
55.7 KB |
sha256:bc4db41d98433494e7730b187ce4fd1c0f9e19e8a44a15970ad90694036d43d2
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.9 KB |
sha256:bb0297192ac80cd262d71b41462eb0ad97ffb790d288858252aab159274edcfa
|
|
|
test-results-windows-latest-key.core
|
887 KB |
sha256:2433a917a23f5cd14b7a50cadea829c358b18a063c8928a61ad2d3e085ba1241
|
|
|
test-results-windows-latest-key.core.example
|
39.5 KB |
sha256:313f655c93cba5932a1595883de15d4369ed28df6e1b17a691780ff381429ae4
|
|
|
test-results-windows-latest-key.core.infflow
|
45.7 KB |
sha256:b5a4212e0a319bafd23a25b3f1324dfbee4c11bab5fe84afdbdc1645570dd84d
|
|
|
test-results-windows-latest-key.core.testgen
|
63.8 KB |
sha256:4675821647d6b9612c541449aa73f04ba667f00a1e3011a2ac89288b959bdd41
|
|
|
test-results-windows-latest-key.core.wd
|
45.6 KB |
sha256:baba78f63d6d9698970e398e38588c458f114ac719a9d77afa9c126edbe85de9
|
|
|
test-results-windows-latest-key.ncore
|
47.1 KB |
sha256:4e070d156bf1b26ddf762ce2676a75905e9e095147632c110be41cd6b4c2fc58
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.3 KB |
sha256:252d74f659824b18e9cf9ff351b390751ecd9e86a54933c9d53617eac2a70ef7
|
|
|
test-results-windows-latest-key.ui
|
54.5 KB |
sha256:61e74fdc88f4d92abcd8d42a9ee704c8ee0406c602acb14b12240c95d06b1eed
|
|
|
test-results-windows-latest-key.util
|
74.6 KB |
sha256:9b66d0b56ab7ee8566bf72409e7ff802b5b54f0098d8a1f55ee5e4993f57ec00
|
|
|
test-results-windows-latest-keyext.caching
|
50.4 KB |
sha256:1da1e9c945b6cca4c4d96c16e545078040f47094d2f32eb23b8b8617df0b5058
|
|
|
test-results-windows-latest-keyext.exploration
|
52.1 KB |
sha256:99339e775995e4a054f19f8b81e550e5c6fff21156df1a3b112a7450c67f3f3b
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40 KB |
sha256:33938e5725ffbe5a46390b6d42dd3b9f8d8527723515221cbf4f8023331183be
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.9 KB |
sha256:ed95a52da1b8086ec1cdecc0726c82d5283fcd08e65e4ae17e68d9fbf9e020b7
|
|
|
test-results-windows-latest-keyext.slicing
|
55.9 KB |
sha256:8deeed677a005d4963b816fd880e57a33b9a9237d1323dafc03ae1cfc8ccb62d
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40 KB |
sha256:3562f02c23c347c9710e1110ead98a02e5b3179b4d1b6dd0d438f690042fe959
|
|