Local performance improvements (#3824) #4606
github-merge-queue[bot]Annotations
75 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)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[f1051eb5744aafce8fb7830277afb5b9]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-2105120905dc4ccfc19659836a1c79c0: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-3367de55218120704b31258d1ea55a69: 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.util)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[119a4fc0ae86861d577d442ac74e9e83]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-2105120905dc4ccfc19659836a1c79c0: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-926558d6759903c49f5d35eed77415bb: 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.core.infflow)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[ecad907ac869becc7e3b82d739473710]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-763dd0d844f2a00046742f05c97f8036: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-2519e60771f1b73ce7228031460a68dc: 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.example)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[bd9d5e01a95144e1392d2fbaf823a2ee]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-7905b491ab20aeb6c1a0f95f15dd5a7e: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-054fd270c84f01417f7e14bcfd314b3e: 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.ncore.calculus)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[17e9aecf4ec2ce3b8cae777a4861ab48]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-a1ef7048246ebd190df1e60f658a7fc2: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-4bcb154b78914e4c3c84ce9e9e27fcc6: 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.ui)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[78352118959e74a003ccd70ba8750cf0]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-f04885101581236220e52e07c27fcabe: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-48e76335b71ba1362076f34d2492b4f5: 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.exploration)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[df15d7ac024211cc5ec119ddbabd35ac]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-f04885101581236220e52e07c27fcabe: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-e8a2c425b4aab7f164781f4df853c4c2: 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.proofmanagement)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[7c828b2e901e3c3cbc58d6c4d6b81390]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-c195a85fc7910be339b9cd906ff9bdb8: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-d220e287a07b7904cf2ee92f06049ea3: 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.testgen)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[48e83a29a91c2783b4b9a40cfaa92c2f]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-7bbbbe9fcb2106ce8bb8fd05a0e4a6cc: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-4ad45e26479ed256ab22f5ed10621999: 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.wd)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[4665470a62826c564c7d3f54dbabd032]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-763dd0d844f2a00046742f05c97f8036: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-1ab69a514145610c5f2238a47f9ea9e5: 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.isabelletranslation)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[08e8e6cfe11680bc1845578aff4c5734]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-c195a85fc7910be339b9cd906ff9bdb8: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-c8b563e971765b54c3fbe12cd5094497: 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.ui.testgen)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[52d63b20996fbf0da22e4520024931eb]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-c195a85fc7910be339b9cd906ff9bdb8: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-81cace59755f7cc83650a2e2d8cd633e: 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.caching)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[306187423bb89dd73c6b4408408c9f0c]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-f04885101581236220e52e07c27fcabe: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-cd4225429e309ab50ec06877d1390026: 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, keyext.slicing)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[f0a81ae0081475a8e1d57afb3b8915de]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-f04885101581236220e52e07c27fcabe: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-c6caa6d7302cbdfd498424cce6d95e62: 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.core)
Failed to save cache entry with path 'D:\a\.gradle\caches,D:\a\.gradle\notifications,D:\a\.gradle\.setup-gradle' and key: gradle-home-v1|Windows-X64|unit-tests[8f92fdea4605f529ea8fe99f7151a54b]-acc70dab5c5cbe9d5bef01c27199b4012e6be220: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\transforms-4\*/,D:\a\.gradle\caches\*\transforms\*/' and key: gradle-transforms-v1-dd82060238655bceed1bd06911db7c8b: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\modules-*\files-*\*\*\*\*/' and key: gradle-dependencies-v1-09c18ff0dd23f5bec0677d5dffe7aa2d: 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)
Failed to save cache entry with path 'D:\a\.gradle\caches\*\groovy-dsl\*/' and key: gradle-groovy-dsl-v1-fb978e7fdf22a9d38875b1ceccbc9377: 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-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.util)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.core.infflow)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.core.example)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.ncore.calculus)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.ui)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, keyext.exploration)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, keyext.proofmanagement)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.core.testgen)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.core.wd)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, keyext.isabelletranslation)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, keyext.ui.testgen)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, keyext.caching)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, keyext.slicing)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
unit-tests (windows-latest, 21, key.core)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
test-results-testProveRules
|
53.9 KB |
sha256:48c1bf3e6b37205c9cb32c1a910cafc226404cd8a7597e389cc3133216844651
|
|
|
test-results-testRunAllFunProofs
|
590 KB |
sha256:8b0862cf3db706e159591bd008d50c61c0a1e5e0eae5842a9e6de16d6329bf37
|
|
|
test-results-testRunAllInfProofs
|
80.9 KB |
sha256:2d4a8f473f34ca5f97785c0a509b72233190b29ae63316171063956f4bdb821d
|
|
|
test-results-testRunAllWdProofs
|
108 KB |
sha256:ebe648d6ec6182bcedd583e4ebc3ec56cf816824a1f9e59926bf29f45863cd2d
|
|
|
test-results-ubuntu-latest-key.core
|
822 KB |
sha256:ea2ac0d896573d48707f13b1b0efcfc6ffa375d01eab4f0fb3e513b3a6712c19
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.4 KB |
sha256:39c8d6df304fe360ca5a8f85e444fffccbb7f0831cb5fa1ed169d82416d17f38
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.7 KB |
sha256:f61f36ea785742dadb70278af134cffa3f38b38b464ad4f952c11ae04a1bea84
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
51.5 KB |
sha256:dff168f84c101fec4bda105cd13d03ee6eaa24e0624a067680a38511707817cd
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.5 KB |
sha256:0c1e9bbeb8ea6cbb240af6422e2718b1a298f2cd4cd6d8bb934851775e98415d
|
|
|
test-results-ubuntu-latest-key.ncore
|
47 KB |
sha256:958a931787713d0e2171c8fd67390a4bfef66d95e98ebd1cce888e56601789b3
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.3 KB |
sha256:31bfc0e2b3e1c903743961cbd5337dfa12923727bc989eb6103f8aa9cc8bc409
|
|
|
test-results-ubuntu-latest-key.ui
|
55.5 KB |
sha256:c2f14390628409621cdecbdd99fe4d0a981e017f1673eb2b76d0cc9675781cf8
|
|
|
test-results-ubuntu-latest-key.util
|
74.2 KB |
sha256:a0b63c5c80aabca408cfe284356e8093f4a7c8e02591b0f582dc66872443c129
|
|
|
test-results-ubuntu-latest-keyext.caching
|
46.2 KB |
sha256:b9db3d364d4ba85980e28a772d3439d5f2a02f7679c823c705d04b6ba46d9827
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52.2 KB |
sha256:0b1725cd3bd38e6022de1b92280e112b09da43bbdd59f86d60477717341a52d6
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.9 KB |
sha256:e94f33ccbcf4ed14b28837b913cfe9348d2286d7f72421c21d1c3076555f31c7
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.9 KB |
sha256:3e89b75c5dba49830d5a329d8e19950e71fdd663c83a113413fad15090ae30c0
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
51.8 KB |
sha256:87876a51d369a9c7d2b40f0890fad29737c0a297b50325726bd9ab4a5c51751c
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.9 KB |
sha256:f8d85f89d47455543ec6e48a34d172ff612408d00963e61e5b34bb44331cefba
|
|
|
test-results-windows-latest-key.core
|
825 KB |
sha256:539309febc7aa1b53e2217800374d3f7610261d66aac713ff157caca8138dae4
|
|
|
test-results-windows-latest-key.core.example
|
39.5 KB |
sha256:31ebda9f76958a4ef93188d4bcb3e78d88219127c059ebfe531d76bd463afe7a
|
|
|
test-results-windows-latest-key.core.infflow
|
45.7 KB |
sha256:2de8e70205bfa45c0056d1685e93099cc845dc536e72b9a9ca33df1d8cfe8e22
|
|
|
test-results-windows-latest-key.core.testgen
|
51.6 KB |
sha256:5843fe98fc48327100531ee3a66fdb266480ff51159836400b8c26ed84e6b08e
|
|
|
test-results-windows-latest-key.core.wd
|
45.6 KB |
sha256:abc61d4841874cb7167bd1f547cdea05f4061442545741316231fdf526c756a4
|
|
|
test-results-windows-latest-key.ncore
|
47.1 KB |
sha256:8d2db695b03f7127cd73b5406872cf607502b4ab0edac58952eac2c972cc56e8
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.3 KB |
sha256:ee32f8bae5305f3ca9eba013564950a7881a90901c1d5261e399a1ba32b3c61f
|
|
|
test-results-windows-latest-key.ui
|
55.6 KB |
sha256:8d411c30494bb37889eb0828cc0b05de81ea624d057da8f9f59c02db52b0e1ac
|
|
|
test-results-windows-latest-key.util
|
74.4 KB |
sha256:7944552a9dbb71aecac3519930fc8f75afe6af5913e755110f1b550d598cbe0b
|
|
|
test-results-windows-latest-keyext.caching
|
46.2 KB |
sha256:4546b508a5656c858a51275384e7266aa65831b694eb411614db6f9c6b8e4aaa
|
|
|
test-results-windows-latest-keyext.exploration
|
52.3 KB |
sha256:c74c0d2ce43326d204a14ce7345c55a38c5d1201426e0a08d7aa946d4a6ccde6
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40 KB |
sha256:f11d64514ab66ef99d362cbf01fdd2f87d6ed77dc61212c5e6b0a361f41b7e3c
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.9 KB |
sha256:01e2e840136236b0cffdb41d2e8a8861fea7e96fd55f31e814c15604393c52ab
|
|
|
test-results-windows-latest-keyext.slicing
|
51.9 KB |
sha256:f8e060f69a3a71ea1e9d2d241919c4ac2ea2832292be07b7a3fbf9af1a1ef073
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40 KB |
sha256:e2f177ba7222ef80e2651f13d60c519151f00775a0cccbba7dad132322f48e01
|
|