Clean up the Java AST: Avoid sub-classes in favor of Enum #4521
wadoontests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
10 errors, 12 warnings, and 15 notices
|
unit-tests (ubuntu-latest, 21, keyext.caching)
Process completed with exit code 1.
|
|
unit-tests (windows-latest, 21, keyext.caching)
Process completed with exit code 1.
|
|
unit-tests (ubuntu-latest, 21, key.core.testgen)
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.
|
|
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, keyext.slicing)
No files were found with the provided path: **/build/test-results/*/*.xml
**/build/reports/
!**/jacocoTestReport.xml. No artifacts will be uploaded.
|
|
unit-tests (windows-latest, 21, key.ncore)
No files were found with the provided path: **/build/test-results/*/*.xml
**/build/reports/
!**/jacocoTestReport.xml. No artifacts will be uploaded.
|
|
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.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.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.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.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.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.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)
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.ncore.calculus)
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.example)
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.wd)
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.ui)
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, key.core.testgen)
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.ui.testgen)
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
|
54 KB |
sha256:0ba779258db17c44e5e99e6d1bf5bcc1553aec41effd225fdc46c90c74db04ad
|
|
|
test-results-testRunAllFunProofs
|
681 KB |
sha256:a22cee800fa4e56d20e75f9dfbceb04cbfa8083df76acb958804a2409ff73b8d
|
|
|
test-results-testRunAllInfProofs
|
138 KB |
sha256:008502bfacf57aa848fbb35e3c0ff4e8e068bda36b1d71e9472cd6f5c3b083f0
|
|
|
test-results-testRunAllWdProofs
|
126 KB |
sha256:e655fed9871699383decea85bd10f07360690bd3ad90609e346b76817bf3f6b5
|
|
|
test-results-ubuntu-latest-key.core
|
883 KB |
sha256:070c05dec3130d061b44862c150518effa274fc882c3048f89823b4d35b6d52f
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.4 KB |
sha256:e436b1b8b64e4ea1360339d44b682ac31f38c048e98d7ec7497e586db52c88b8
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.7 KB |
sha256:fc60c03befb17ec2a5185e47230b5496cb956b014aba8935f0d45b0ad8b4d9c3
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
63.6 KB |
sha256:de88520578eb966dcf3bf45552f2cdbb061f738145721fea94800021edbf1deb
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.5 KB |
sha256:3eb6adaa3fb12813c890a6d725787565dfee0330d59e7ddcd6665612cd09c9d5
|
|
|
test-results-ubuntu-latest-key.ncore
|
47 KB |
sha256:db592b665dd9e87badc38b5741eff0d9a9a16f40646ef261fdad96ecfc61db38
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.3 KB |
sha256:d8504f453f1c8b8a06431b91eb8700827965cb40a4e0b2df51c176088fb7c9f0
|
|
|
test-results-ubuntu-latest-key.ui
|
54.4 KB |
sha256:7aa41f61317d775a190f7e1271ed394232d5de700b3978c6cfe2b5831a94281a
|
|
|
test-results-ubuntu-latest-key.util
|
74.2 KB |
sha256:7a2e91520e15d14f21c04722912f031f801b865cefa0c1cc26d7478028922136
|
|
|
test-results-ubuntu-latest-keyext.caching
|
50 KB |
sha256:f05e89d639b852c86ab0a8157c9a0c77d17d2eaac06fbbdd706df5c1a95a7483
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52 KB |
sha256:5fd0f8b4dd0993c1a35a0f42298ecb6124329598c8621ef1d3437d918be03d63
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.9 KB |
sha256:a8cb32b690d4447556c13d5580036c3b7a02391dee644fa54e57a92037301cb7
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.9 KB |
sha256:0db4a255bc9422e80465add2d7d641f0e239e3b2bf09276eb81d98bfb1fa7b8d
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
55.7 KB |
sha256:dd21e3c7fbf33062776f32dff73f6a44a6bf3b2791ebdaf60fd6a45ef1100c9b
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.9 KB |
sha256:48ababda6e94125390f347056b6a91389967cea593c4ce98c4067d848e35772a
|
|
|
test-results-windows-latest-key.core
|
887 KB |
sha256:ff2e7dfc1c5c20e9023a11e725c59d345c727f5567bf0da4d6f6addbd49238dc
|
|
|
test-results-windows-latest-key.core.example
|
39.5 KB |
sha256:d300e54cad25ef813e6c0cdb4f1f1a51eedd30b05e7e8f2694617f72b7f3f2f0
|
|
|
test-results-windows-latest-key.core.infflow
|
45.7 KB |
sha256:1666ea54a20d0f15e6bdf499ce1ed211d90cc0a99b017d33156433c7846d1335
|
|
|
test-results-windows-latest-key.core.testgen
|
65.5 KB |
sha256:a553fa22e523e1778212a01f665766ff25e14c835c299983f34b2995c019ad95
|
|
|
test-results-windows-latest-key.core.wd
|
45.6 KB |
sha256:3e9d175ea094ac074546f1e2b4859e329282fa23d1f80d54e0a9d58df381ab99
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.3 KB |
sha256:8b256a6e462c07994dd5515fc404f09d2f8737cb9f38d04db21b1a780e58fac9
|
|
|
test-results-windows-latest-key.ui
|
54.5 KB |
sha256:41b74ef7078daff893472f0f61a96a9d18a5e4c41b106b4aad6eafcf786f0e6f
|
|
|
test-results-windows-latest-key.util
|
74.5 KB |
sha256:1bab7a23935de05237bb47fe8bf688e44d599c9475cb625b5215ed994b4b367b
|
|
|
test-results-windows-latest-keyext.caching
|
50.4 KB |
sha256:b5451571be3567dd8e2538d0726d7295865ab2dce864e7b43dcfe2b1cee6a3e5
|
|
|
test-results-windows-latest-keyext.exploration
|
52.1 KB |
sha256:630341c9977ad53d31b7e51f638f7be434c582b5b5c11a38fabba218d3621980
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40 KB |
sha256:bf84e50d98b824fe6b3806ffd9f2bb0d459bd2c63f7db50b53cd17ed88845b6a
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.9 KB |
sha256:1c23f5481f5d400545b4a30e5341509baa083f29914e81d0de1fada3f4921481
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40 KB |
sha256:c7a9fe3b30739003c72899382cdd234c1b3bd99cd69985c3cea593a05217df0b
|
|