Fix deprecations in build files (#3637) #3425
github-merge-queue[bot]Annotations
15 warnings
|
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.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.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, 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.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.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.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.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.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:2c40ae509f48d83f3eefa2b7b52884aa37ed27eb81f49be2b09ca71973a8a131
|
|
|
test-results-testRunAllFunProofs
|
382 KB |
sha256:b453b4590e5e77fa22d9af1bc4706765a6e5e900c1d796acaa65c6ba77629764
|
|
|
test-results-testRunAllInfProofs
|
218 KB |
sha256:ed0aa26dc2e358d95a54e73685269102cc8efdfe3e7e7ed1c91b77399e5f01fd
|
|
|
test-results-ubuntu-latest-key.core
|
606 KB |
sha256:9fe18bb9d98e8d0d5b17242f8d7f64987d1b3acc7ad8b0147e4afadd5d071d3a
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.9 KB |
sha256:ca5cb4798b05f6247ebdbc3490b7fb3cb7bd2fdc236f866ff1a0864303701193
|
|
|
test-results-ubuntu-latest-key.core.rifl
|
39.9 KB |
sha256:abd070a8834b0f089f9bb8320a1316302c0b5d3bd38b96c1e7e945ad87e7f972
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
63 KB |
sha256:564fa242ac065a77c52632b5a5e1bb2d49c9756b2e35f453b4963afe691547f9
|
|
|
test-results-ubuntu-latest-key.ncore
|
47.8 KB |
sha256:48ff3c94e0b0b976b5d8398aadb4c415afc2f4ccbe76751a4d1b8ae4ebfb72dd
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.7 KB |
sha256:126d6ce265e05a627657a4dd7386139f7acfe5552e5c8fd37a3f1277f7b59feb
|
|
|
test-results-ubuntu-latest-key.removegenerics
|
54.3 KB |
sha256:51ef5bd53e5dbcc516b298189c083de6e0b93a6cee9de15ce2da7f14046fe6f4
|
|
|
test-results-ubuntu-latest-key.ui
|
56.1 KB |
sha256:a9bd1704f7695133c20a041a0870679d8c4d872cbe153bd6b8fe62afdf706a04
|
|
|
test-results-ubuntu-latest-key.util
|
79.2 KB |
sha256:14e27a2c48b6f3cb83d7bf16a3130dae451a9b1173d5dc3ddb6f7826f8d23f57
|
|
|
test-results-ubuntu-latest-keyext.caching
|
48.1 KB |
sha256:cfeee9b05f4eb3d5e60e1441a1bf4c51bf7baec1a20274bcab4bb00e3e3d88ef
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
48 KB |
sha256:6814f547916a45ce5df4813c2151b8daa0cdb8b9cf72f8aaf175608439a0afba
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
40.3 KB |
sha256:ce77dcf55b62145e9418bc0b136d5ac1636e66ebbceadebd1327f58117f4d791
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
40.3 KB |
sha256:7b33b7699835f533711ff849660c37d0fe4b8103e5318c51afe677ae0e4c98c2
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
57.1 KB |
sha256:3d3222e49785ec214a6b5bc144fc71b0632f29a400be43c3f14a42780b483600
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
40.3 KB |
sha256:d0ae332e47e3360def60f6a174f80397c8c895e43de8ac744e7b4e40edda499f
|
|
|
test-results-windows-latest-key.core
|
604 KB |
sha256:03e9982550694f311010ba9a612fe9721f1df6d65626c2e843a8ea8ac3782040
|
|
|
test-results-windows-latest-key.core.example
|
39.9 KB |
sha256:c54071e13ae7e3ee3e0837b1b27375c4301a8a0820ad2a86ef661e3ffa9560eb
|
|
|
test-results-windows-latest-key.core.rifl
|
39.9 KB |
sha256:7e438334c44fd30f167a661d633598561222d68ac9c92af95509eda52c18e226
|
|
|
test-results-windows-latest-key.core.testgen
|
62.2 KB |
sha256:29134061daa0b4df5881c3a1bc3c49bfff8ef644bf6e3ae97dcf4d7c623d6f77
|
|
|
test-results-windows-latest-key.ncore
|
47.9 KB |
sha256:55cd927bc3cc8a4839efbb1c7b14bca1db79a60a1df9e1fb1cdd7057c7e72c06
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.7 KB |
sha256:d58f71e65fb9920b4d6fe2e2cc0aea0f940df26e4f64e6f123c79106702d927c
|
|
|
test-results-windows-latest-key.removegenerics
|
54.3 KB |
sha256:434a2400e7ce71bcfb0c5a996eb2cb10cd4886ee232a9206f89b83f67d1604e2
|
|
|
test-results-windows-latest-key.ui
|
56.2 KB |
sha256:55e143ed11ec5a5a5aa102a08cd4d9576641fe9e0ab840aeed2e1876d74e8fc8
|
|
|
test-results-windows-latest-key.util
|
79.4 KB |
sha256:d004ace514b942b8c7584c1e2e9ea7ddf544ccf22b3a519fed196aff94d5d13a
|
|
|
test-results-windows-latest-keyext.caching
|
48.2 KB |
sha256:e410136fbf72f6d465aa6d696cc61a74c02ab18dfdb135cf5498cc20d2b2708c
|
|
|
test-results-windows-latest-keyext.exploration
|
48.1 KB |
sha256:4f417512008279ee0ca6c613feaf3c876459e21c15c5dd86c77d66525a00bd09
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40.3 KB |
sha256:b70efa38bbd5f2b634a386348f17473344c6b50340c3d8853922913d969f31fc
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
40.3 KB |
sha256:5973756ab58aa0db57f8f10a212fbc2ed80f24456442191699fee96529f94d54
|
|
|
test-results-windows-latest-keyext.slicing
|
57.1 KB |
sha256:0a0faf65910c4e265eba6eed03180d77c1b6d6d8a2cf74d5e2a9e326e2813489
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40.3 KB |
sha256:5190b7f588fc961caab59453c57cffaaf4a6ae15fffb138fed33590c983d9e66
|
|