Generation of Java AST classes #4515
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.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)
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.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.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.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.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.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.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, 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.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.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-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.ncore)
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.wd)
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.core.example)
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, keyext.caching)
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, keyext.proofmanagement)
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.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:dcb3e2497b92fdfc606982a1a0a36a2101b5b93fa5016788f1f91a16446b5954
|
|
|
test-results-testRunAllFunProofs
|
587 KB |
sha256:e655d152cee234e556a2f4a05ca6b9975af4ffbe6bf29eea3a7581dde5f98e2e
|
|
|
test-results-testRunAllInfProofs
|
80.9 KB |
sha256:543fab2678da2dd190b2fd3e16f158d5815a74b8c01e1df340e9aa90b4c69afd
|
|
|
test-results-testRunAllWdProofs
|
108 KB |
sha256:d4a673436975d9a08864f1ff284e544bc2ee783b90625cd17a8e3693513445fd
|
|
|
test-results-ubuntu-latest-key.core
|
822 KB |
sha256:aca7911dfa492378220124f4127fa283ffd65e21edc21146605a5a62bbfb1686
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.4 KB |
sha256:168a59ea3a7731cc48c19a8ed0c66eb17d1926e74d4b68b469f54aa2dd5ac6d6
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.7 KB |
sha256:93c867f15d18641a272c1597f6593f4ebf92c7e8c3c1b566688c1a6c431747ab
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
51.5 KB |
sha256:fa882a9e1c3ff3a51ccd437636c1a32d6c88d16f783c019049a54cebeed3e33f
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.5 KB |
sha256:0e10b7163e6afd3cb353757dc787cbf9cfa923819f51b11bac41d61c523cc484
|
|
|
test-results-ubuntu-latest-key.ncore
|
47 KB |
sha256:631a142bb6f504031ff867ed4e8e8243514de77e396f21e9a4aa521d236181a4
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.3 KB |
sha256:f93f01afbb8c9269a5066e220dbb1fab2fbcba904ebc5170cccff1ca07d3929c
|
|
|
test-results-ubuntu-latest-key.ui
|
54.4 KB |
sha256:e28488ccc4ac14258fdcb6d1108e605b07a0b9e478060dad7ab3cde7e27a820a
|
|
|
test-results-ubuntu-latest-key.util
|
74.2 KB |
sha256:73c2a750f08a92925476a38c473a625e583405c252b159deb9d71d70251b8bb8
|
|
|
test-results-ubuntu-latest-keyext.caching
|
46.2 KB |
sha256:7a4b54d117c4cfd2bcbd6b5b259792b804cce52ea7964b2955a854625053c265
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52.2 KB |
sha256:167597d2623f519a4af5acc8ffc2062dc349ff4c12b65719629ad9300354cd4d
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.9 KB |
sha256:5999ce192c271a26dbd44f1012ad02a0b3fc580aa2f51c0d975537aae00ed3a1
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.9 KB |
sha256:e23e33f4da46a623df4a7fe67eb723587a841a0f88dec8fbb5074d756bd827b6
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
51.8 KB |
sha256:b92e22a760b95538551b91dc6cb58ed78a05e3d57b2cd76661ed8c66f69a3542
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.9 KB |
sha256:2070c58a09d36537e2c8f11a061129fa23db76960a53777dc59171cc3aa68e7a
|
|
|
test-results-windows-latest-key.core
|
825 KB |
sha256:b64fd608be5e5832a9e19e2af95df1ce18ba4d6d9a8209bbfc4eb83a6cb8fde7
|
|
|
test-results-windows-latest-key.core.example
|
39.5 KB |
sha256:1b6f3308ae39b95a8df4a6fa6aa32c26658219eebb709c4515aeed5242562ac5
|
|
|
test-results-windows-latest-key.core.infflow
|
45.7 KB |
sha256:a404ccdb63e60ee3e51e4cf524a68362c51072fc6ffee0e5e56ba6dc820b4b68
|
|
|
test-results-windows-latest-key.core.testgen
|
51.6 KB |
sha256:723cb07aa60ab0e47f9aba24970a4634a0b6e819566454e7c060ffdac833a274
|
|
|
test-results-windows-latest-key.core.wd
|
45.6 KB |
sha256:36ba643912083c52374b3fe76b067de66e1689798bedf1cfa04703ebea27925a
|
|
|
test-results-windows-latest-key.ncore
|
47.1 KB |
sha256:05e4bd9f7855722c74cd76eab3d9fbceb3fdb679d1e57e7392ba9f804ba949ef
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.3 KB |
sha256:4bcbe0aa16919132fc07135d8ec03f9ed09d68b3584399f91d56d99aa9de6505
|
|
|
test-results-windows-latest-key.ui
|
54.4 KB |
sha256:62b95a97f986294aec87b609a16b456ff866e9f8d43903faca06c9a380f19978
|
|
|
test-results-windows-latest-key.util
|
74.6 KB |
sha256:c58bf01eecb81aad63a2cafce040b96c981e4a7531a07820fdb0506509c10f5c
|
|
|
test-results-windows-latest-keyext.caching
|
46.2 KB |
sha256:d4a2f1373dea7c2b748311bb18325be17917eac6a2b2fdd794e73f71d18c5682
|
|
|
test-results-windows-latest-keyext.exploration
|
52.4 KB |
sha256:502c953bebee306a2d4b7b1ff615d4b9dccdde62f19a40c17212d2be4cb174a3
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40 KB |
sha256:9a0c13da585d2fbe8f04d2fdfd0b9247d4f31e9c28a47e861c379fc477f4c88b
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.9 KB |
sha256:7dc3c71ff9193a43b81a517fcdc06dbb3538c1cef8013e30c63fd1392ffbe770
|
|
|
test-results-windows-latest-keyext.slicing
|
51.9 KB |
sha256:29a5eca0d53213318eea2818a36e0b6872b71ed6695ddcd4a48d32ca210cc337
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40 KB |
sha256:9a3d5fb1059962959b8b60626b8913f67a087dfd8f33fa43c445624e351d86bd
|
|