Fix deprecations in build files #3421
unp1tests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
15 warnings
|
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.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.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, 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.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, 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.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.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, 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.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.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.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
|
88.4 KB |
sha256:1b211ca84ecedb879db05b298b1219bc90e69c6905a5fb6726a2614ace1df7e2
|
|
|
test-results-testRunAllFunProofs
|
383 KB |
sha256:5bb683bf767c70962388d0d54a18e8c22559dde791ced0738fd8c940a3b62ee8
|
|
|
test-results-testRunAllInfProofs
|
219 KB |
sha256:0fb5fd76b469a0509b0177da33e15f76ee6a1f5b0654b3c04caa44d57378a47f
|
|
|
test-results-ubuntu-latest-key.core
|
606 KB |
sha256:b1496dd6e345e2722ef1b579172bf0bd96dfd6d70119319d6ee9c4eb877c5b16
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.9 KB |
sha256:e73a3fed27861dd7fbbebbba2481d5adc9e4ba1f7b6c8aeac8839f147b5fe265
|
|
|
test-results-ubuntu-latest-key.core.rifl
|
39.9 KB |
sha256:36ae475c22a0f82c1409986a9457dd2244dcb485efd4b9aa0cbc8a31ec96d050
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
63.1 KB |
sha256:a9f582b61aa998ae7625520b53aa3bb13f88d04e3fc43a2a5f5905d6d121fe9a
|
|
|
test-results-ubuntu-latest-key.ncore
|
47.8 KB |
sha256:88bc8c6f942810078e95df45c14d1f71a23d064bd1ae3f372c5e6229f1a46f1a
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.7 KB |
sha256:d1ea56f51ebf2ca04d0211e76a4ccafb0bb4c44f13abdfcb69df292c39db87ef
|
|
|
test-results-ubuntu-latest-key.removegenerics
|
54.3 KB |
sha256:d621eceb1e6f105c44a737a4450890be8e9c5a41fad662cb55b161ecf97b07e9
|
|
|
test-results-ubuntu-latest-key.ui
|
56.1 KB |
sha256:b665a78f1f34c29fd6974218e7c7ac8003c041670a7d956978c442ef35de87c5
|
|
|
test-results-ubuntu-latest-key.util
|
79.1 KB |
sha256:b25008838da0ddcec6f017f51761fa989ee67005f82865e374bb6a848603404e
|
|
|
test-results-ubuntu-latest-keyext.caching
|
48.2 KB |
sha256:36ddd0f61b23979c9d7e66d9ae14ba722fc0fef58080425951277be0c86fe2a5
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
48 KB |
sha256:0083716b9c0bb5139ade5e3daa24504a7250c3dc15be335353e3b6b34dc8dc06
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
40.3 KB |
sha256:0aa689f3bd6ed8c45fc87e3fc9f092424b747ee5095b3bb8dcedb6672b6f5110
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
40.3 KB |
sha256:873057c8f54e4df563c4716f32a60f68aaf07f5ac6b4ed636e16fb992c7ef9dd
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
57.1 KB |
sha256:7ccde79cc45fca5fb929a6a0bf305a09b2261dd4fa90e27ed084bf5c2a5c5139
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
40.3 KB |
sha256:8cf14027cfcaed2b89acc4d2cdd00b067f252ab1c82a97b73a35529de51b9f7a
|
|
|
test-results-windows-latest-key.core
|
604 KB |
sha256:2c4e56069e21ef6145e29d26cc34a9c92b798f5f274d3a3a2d22cdb762537db6
|
|
|
test-results-windows-latest-key.core.example
|
39.9 KB |
sha256:7eb40e7fb2a2eb243139292e55cf6c5f1b5b0fe9d6133e92182720e35a6f728c
|
|
|
test-results-windows-latest-key.core.rifl
|
39.9 KB |
sha256:9a3cc6809ce7c5cb4a4de8ba261029614a71c9d354f3c2ce715827dd67f5f042
|
|
|
test-results-windows-latest-key.core.testgen
|
62.2 KB |
sha256:617759b555b5d23a13fc49f333f3c3c50442ce525897dea6a9b57e9c0e01d8b9
|
|
|
test-results-windows-latest-key.ncore
|
47.9 KB |
sha256:4706c86964b8faeb41582d3d3838d519f59ff9c18837dae773c5085a3ee1d141
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.7 KB |
sha256:067eb3a9f269a8678f4c22327e5b60863c49cddd5a3939afcbd1403a467063cb
|
|
|
test-results-windows-latest-key.removegenerics
|
54.3 KB |
sha256:d03957b54604876ded12c66230c6e9b1ade6ca643f06c3c31c85c7d04bcfa2e7
|
|
|
test-results-windows-latest-key.ui
|
56.1 KB |
sha256:5e8371f1552510de24fe26ee6dafabafb8dd28efba1c3543b2c27b6c110f10d3
|
|
|
test-results-windows-latest-key.util
|
79.5 KB |
sha256:84fc5e1499395e27e29dd0210d90bd1e4b8148e516a34885840cc6c631e53d89
|
|
|
test-results-windows-latest-keyext.caching
|
48.2 KB |
sha256:013ccb3781d90df92df1d9ee872d46d24fc5a049c2d78767c54f1d47a6483e7c
|
|
|
test-results-windows-latest-keyext.exploration
|
48.1 KB |
sha256:3ec71cc0d88424f393b0e4f8d7d91028cced9da76d201b4c222ee40c3fc6e116
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40.3 KB |
sha256:5f4d931944e8faefb624b42e98aa8b42019b5ef45669bb2402af48f0e0fb267a
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
40.3 KB |
sha256:d703d9451bcdedf0030220812b69ccedf7bfb769b78e657b6894f121287b048e
|
|
|
test-results-windows-latest-keyext.slicing
|
57 KB |
sha256:d687da38cbaca3916844a22784593d462dafae07d91726e6a03240295c838339
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40.3 KB |
sha256:a42c3028bd00b7b8f3168308932013ff6ee649202605e2b034b1b6111e5e14cc
|
|