Make the proof tree (or the KeY GUI in general) responsive during automatic proof search #3660
wadoontests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
15 warnings
|
unit-tests (windows-latest, 21, key.removegenerics)
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, 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.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.rifl)
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.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.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, 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, 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.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.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
test-results-testProveRules
Expired
|
89.7 KB |
sha256:d8e8da37f628a3997660b85eeccc85ad40fc0b891693a09161470dacb55beb9c
|
|
|
test-results-testRunAllFunProofs
Expired
|
383 KB |
sha256:be9136ac0e631372dfa532ea85d40d67b56bf14d481f1c8d0cf572ca304848b0
|
|
|
test-results-testRunAllInfProofs
Expired
|
221 KB |
sha256:951349c7ac20cd565c898fe21060dd01045a7709b0bdcf2902944911c9bf11b8
|
|
|
test-results-ubuntu-latest-key.core
Expired
|
607 KB |
sha256:497c1e7e690298ff14af1a0d74775615b76d64604040e1030be49bc546e44bfd
|
|
|
test-results-ubuntu-latest-key.core.example
Expired
|
39.9 KB |
sha256:d27149b2f21d3bec3eebe381497640bd3fd4c4ca4e0692ce4a620f90e1f50522
|
|
|
test-results-ubuntu-latest-key.core.rifl
Expired
|
39.8 KB |
sha256:382d7cedcd9495e1de0892403f19677e786448db30b3eba1e35cc4e75b33e5f4
|
|
|
test-results-ubuntu-latest-key.core.testgen
Expired
|
93.9 KB |
sha256:94992d0360be08104068db55a528aaa1624bee10d01ae04823f4f25be9c5a268
|
|
|
test-results-ubuntu-latest-key.ncore
Expired
|
47.8 KB |
sha256:35dfd82ed1ac45421880e7243874643dbb238c18809bcc4613dc038c74483e15
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
Expired
|
39.7 KB |
sha256:52b92906e5825b0ba58adf491a8005655286e460ed5815fbe513be699ef41cec
|
|
|
test-results-ubuntu-latest-key.removegenerics
Expired
|
54.2 KB |
sha256:821b3b46f12f71e16129ce96e3757666d36f6fa54732462d935cfb7ec3425135
|
|
|
test-results-ubuntu-latest-key.ui
Expired
|
55.7 KB |
sha256:38f0cf54a148b58f82c9612e77372cd38a3077a1ce484805699adc12665172b8
|
|
|
test-results-ubuntu-latest-key.util
Expired
|
79.1 KB |
sha256:6d87b4db69b2560196ed5324c6cba71e047de39f3134a0d7ea5019b128c61ae7
|
|
|
test-results-ubuntu-latest-keyext.caching
Expired
|
47.8 KB |
sha256:6a359a73c56ce104f9b23a9f4eca09e0d40f1c4a2ea469570520f4f14f51d1fc
|
|
|
test-results-ubuntu-latest-keyext.exploration
Expired
|
47.7 KB |
sha256:220ce581396ee5061da8b4880fff102e2b764000ca3da2ad11e91af88312dd1e
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
Expired
|
40.2 KB |
sha256:31b4491f41533fce383173e29fabd915890181e6e474027468369fa6fc4b1d71
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
Expired
|
40.2 KB |
sha256:9701bc6c5747528a5f2e3af30a422e42bf00d1e8fb410117bcac64e808d440c8
|
|
|
test-results-ubuntu-latest-keyext.slicing
Expired
|
56.7 KB |
sha256:53ca89ad491bd811f3beaf540ada95dea7b843e6ca762462fcb8be366020d2ac
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
Expired
|
40.2 KB |
sha256:16e559fe0498d2484be5a974aa8ba4ac5960c9b62b1469bd8794c12f982e64a6
|
|
|
test-results-windows-latest-key.core
Expired
|
611 KB |
sha256:b63ea12caea29e6e93c492e289aa034db415c608fc4b463ddf867636684a4833
|
|
|
test-results-windows-latest-key.core.example
Expired
|
39.9 KB |
sha256:863623700f71c1c2cfde658bc1c158fb8d8533908fc7962d7e54e13b7c1ffdb8
|
|
|
test-results-windows-latest-key.core.rifl
Expired
|
39.9 KB |
sha256:dc56fd8d4f8414066198cc92930bb13e94ddee00078116253613e9934a9b09a1
|
|
|
test-results-windows-latest-key.core.testgen
Expired
|
98.7 KB |
sha256:0bd81c527905b2eae91777133068850c7b7bbea1bf30b4f11a09ef53b5e6fd85
|
|
|
test-results-windows-latest-key.ncore
Expired
|
47.9 KB |
sha256:ca4b04590563fbf7bb6beaaf371c46e4f92f395b36859ffc4252e60c42075da4
|
|
|
test-results-windows-latest-key.ncore.calculus
Expired
|
39.7 KB |
sha256:1c22f85faa44ac21b2ce4280bde508435bb8a7061b2f63cf7e3d63df72fba841
|
|
|
test-results-windows-latest-key.removegenerics
Expired
|
54.4 KB |
sha256:b4e1546f21e1862f61bd61573a8ce38a7f4ce53665a13cd9a246173a2f491dd0
|
|
|
test-results-windows-latest-key.ui
Expired
|
55.8 KB |
sha256:6b08d05db12488577f917489eedf5f1ab93cfa084c87b158e7cf4cfbf47a5101
|
|
|
test-results-windows-latest-key.util
Expired
|
79.5 KB |
sha256:4d46d8c0d161254ec7453eaf1c832c06e836aded2810937e9be876cafb798f00
|
|
|
test-results-windows-latest-keyext.caching
Expired
|
47.9 KB |
sha256:d61488b27b5b71e90cc4c3c95fe9ded8f99eb1106e6eed75d4f639276aa9e9f2
|
|
|
test-results-windows-latest-keyext.exploration
Expired
|
47.7 KB |
sha256:af2c83ec5679ead80ac54e36a4cf0fc2e5e9479e40848c44825308ee053c0892
|
|
|
test-results-windows-latest-keyext.isabelletranslation
Expired
|
40.3 KB |
sha256:3f058e4d6f06065131496ee33778c5b3dac4b3ae60658a4a4509f3d189eb843c
|
|
|
test-results-windows-latest-keyext.proofmanagement
Expired
|
40.3 KB |
sha256:a39aade92ad79f10f5f913f8291d3da2592e2e8499a8d64c0987cae030037b3d
|
|
|
test-results-windows-latest-keyext.slicing
Expired
|
57 KB |
sha256:2bca44ccf674d55c3407698c078378f25b52be8aca366a549aaf9a02efa5850b
|
|
|
test-results-windows-latest-keyext.ui.testgen
Expired
|
40.3 KB |
sha256:823815f8315ef2d9c92814d1d3a8e4077d0b97ffd16b4f3f55c464fb3b89b7da
|
|