Generation of Java AST classes #4518
wadoontests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
15 warnings and 15 notices
|
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.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.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.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, 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.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.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.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.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.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.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)
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.wd)
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, key.ui)
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.ui.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.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.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:3fec406dcea83cb263835b3272bfa6df8c3ad54aee96abff07728fe7ab50bd67
|
|
|
test-results-testRunAllFunProofs
|
587 KB |
sha256:e1ed976ee14d704105d7f5c2368ee8f1a3a87a052cbda9aa9055a73c0c081f2d
|
|
|
test-results-testRunAllInfProofs
|
81 KB |
sha256:8b12a6749a0a715843be658455529491e662d709feb1e3e4be923abd5cc17cb1
|
|
|
test-results-testRunAllWdProofs
|
108 KB |
sha256:a3e649ac8dc355afa8b1b46373aa5a1895d58a0ee1729694dffe716b297f9895
|
|
|
test-results-ubuntu-latest-key.core
|
822 KB |
sha256:bdf8b070fd04577e405fae0cce3b030ca5929e798e5d6cd6650831679652a8d7
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.4 KB |
sha256:347b2c7fa142bbb91b850d176df52d65c4c1fa8ce5bd4b4b658d73dc671923da
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.7 KB |
sha256:1bd3230c6a78d572ac048179bdf7c9d5b2ff57166893c350cb1aa2bb71746e28
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
51.5 KB |
sha256:e345da7f894ec4575ee2c62652dde9620887b4c21a1b96ec37143427cccad3e6
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.5 KB |
sha256:30dcb822afec2235011302d7ebe44efcdeedbf27a01e6b4b8424d4fc89648999
|
|
|
test-results-ubuntu-latest-key.ncore
|
47 KB |
sha256:6689e1ddea36af202ce596ac7ab810a0167197f768f09db01fba3b51d56dddaa
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.3 KB |
sha256:c60263a32006ba2b5d857b8dc2bd096510a296cfe8fa4dd49a386aa1fd85079f
|
|
|
test-results-ubuntu-latest-key.ui
|
54.4 KB |
sha256:e3f2885819cd14d87475092d94cb6d787619d11c12d5e7909b645367a2906eed
|
|
|
test-results-ubuntu-latest-key.util
|
74.2 KB |
sha256:b8a692b6b1112a375d52c3696a7f1c38e91e31c3c67b1ccb154521cd6abf7ed9
|
|
|
test-results-ubuntu-latest-keyext.caching
|
46.2 KB |
sha256:daef30adcd6a69cdf30506d29d1414131108ebfcc25d9c1e4915f0c24d4af4f7
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52.2 KB |
sha256:eb6b3fcc66e76419a08bd646bbd3403805e81cf68bffa59d53bbd8e24fec6eb5
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.9 KB |
sha256:f5de7771ee0211033a550944bda54cf6f5a8b5a8a4c996f7ac58915675b06f6d
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.9 KB |
sha256:ecefe3c6b97f7c09ffd593cf897ca5a19a8b5312b75fb01ca3853313bffa7f79
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
51.8 KB |
sha256:438b7b3c456a7d538214682379997526e6068b8826b0ed87deab715f33430a61
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.9 KB |
sha256:05260f2ce7b7e49f102eed116fbdfce30c5f44661fda16d392d11e34dc0854e9
|
|
|
test-results-windows-latest-key.core
|
825 KB |
sha256:b1f6565148f7ee3920d938a9588a34592b1e6716ae76927caa1ba423f21edbab
|
|
|
test-results-windows-latest-key.core.example
|
39.5 KB |
sha256:239da2bce0495f397245cf87964bb5ea23b4e1b9e8510d658e777a273c77251a
|
|
|
test-results-windows-latest-key.core.infflow
|
45.7 KB |
sha256:32c758d15c61910bbe84fc276bbbbce62bbd6effa637a7576e775143b55096ea
|
|
|
test-results-windows-latest-key.core.testgen
|
51.6 KB |
sha256:01fd84df7d56559365af6d02423e1e5c6cfe305162b15d08e9466076193ca480
|
|
|
test-results-windows-latest-key.core.wd
|
45.6 KB |
sha256:8755d96d3f5cdb91dde62ab90b03a9111ca34455249b4d46d5c1e83fcb13ced6
|
|
|
test-results-windows-latest-key.ncore
|
47.1 KB |
sha256:4a6ae244c1373b4ada4d81834c578aa1f539149298f147881bde0eda0866d876
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.3 KB |
sha256:42b6d91b09a935c4885f152fb56cdfd3f34dd23968355af0c3daec951c996a49
|
|
|
test-results-windows-latest-key.ui
|
54.5 KB |
sha256:c0cac2062b46f2cd9cdf958b4eb001f098262adadc16672d016a7bbbfdc71dc8
|
|
|
test-results-windows-latest-key.util
|
74.5 KB |
sha256:9b5139cc405c8b4c6c4745cbc9f9d8b3deb62aebadad4299eb3eb2db21789b90
|
|
|
test-results-windows-latest-keyext.caching
|
46.2 KB |
sha256:b0f2f8cf1783c15ce0e164533739074eab4b3188abfad8c6def961c02c117eea
|
|
|
test-results-windows-latest-keyext.exploration
|
52.3 KB |
sha256:d81fdad3749a7f0b2f3b298188974699d0806c416256f4c2f87acf251bda1911
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40 KB |
sha256:d4e76e8a5f3b4933bf063aceb17dd03780fbb5e345d04b0bb8c62f43f5dbc39f
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.9 KB |
sha256:c18454c9aadb421e1ac067e7b2a3fbf0f89fb9fe01236d2a3de5ff266e6f450b
|
|
|
test-results-windows-latest-keyext.slicing
|
51.9 KB |
sha256:63178bff26920f078fc7f58620b84fb7456aff807324a321f0e62d4dfba8a711
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40 KB |
sha256:28d186957b08463b486bcc3562512b47a15d5e0547aaf48d598db9ef001e8d5f
|
|