Reactivate Checkstyle #3418
wadoontests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
15 warnings
|
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.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.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, 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, 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.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.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.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, 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.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.6 KB |
sha256:a6bd4970ab557c8bfbcae6c5ca5f7336d8b6e5466524f5becfd0a141c070eb16
|
|
|
test-results-testRunAllFunProofs
|
384 KB |
sha256:457768e5c0be9a6650086446089f79003d971eb13d5a4b402cde3e67dfa23726
|
|
|
test-results-testRunAllInfProofs
|
218 KB |
sha256:846a8f4ef71ad5d17ac9d35321d0080202f93c073eac4d67a7d75781d56d9aa6
|
|
|
test-results-ubuntu-latest-key.core
|
606 KB |
sha256:bad04a4c782a55ee7a6f5dc7b0cb032bf26faddce39b802bebe51285c7a49129
|
|
|
test-results-ubuntu-latest-key.core.example
|
40.1 KB |
sha256:bb3468f9d2260c3c6ce435a3a771a055e9805158fd7d4afe6275522edde8a09b
|
|
|
test-results-ubuntu-latest-key.core.rifl
|
40.1 KB |
sha256:c735feae268fd8a7b88620932e5a5017d304a4d263c7f2a0418d8c209202ab26
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
63.4 KB |
sha256:bc043fe3ecc6bfc89a5803e1f9fea5fa4246ea15471ddd16e6f033531d56e9ba
|
|
|
test-results-ubuntu-latest-key.ncore
|
48.1 KB |
sha256:6cef4a37d4b60a1cd5b7366fea623b5136d999fdb640fb78e293c207feb51c68
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.9 KB |
sha256:87b0aad7d4a4e79ccc9eb40a6ddaea7c0590152d6ec56918459b2235e4ce75f9
|
|
|
test-results-ubuntu-latest-key.removegenerics
|
54.5 KB |
sha256:cdd6fd2cf6919a4d2858af943b0d0a649d826144720be7cbbd4c56e3d442a6be
|
|
|
test-results-ubuntu-latest-key.ui
|
56.3 KB |
sha256:128e9174598128030b0ab978a2a211e3afcf66c01179e477a75af237cd38189a
|
|
|
test-results-ubuntu-latest-key.util
|
79.5 KB |
sha256:623941fccc9579830307af8ce64eb77354a336acfd4b56c4a3fcf7283c03f8bd
|
|
|
test-results-ubuntu-latest-keyext.caching
|
48.4 KB |
sha256:cd7dedc8f4672882c0387ac027be23425b0a582e533869efeed3b79af3af3627
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
48.3 KB |
sha256:2567e5dc17bd2dfd3af82cb47d223ce151a731d3c739f4348df9ece55a1dbd0f
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
40.5 KB |
sha256:18774f43acc2025e1dca195a5d37212311608fa442ad552b31bb7c15b9d2e769
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
40.5 KB |
sha256:c18721b00794058b4d43bd0f787dcc3bbf59d01555e5052a9e21f86db2e6a717
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
57.4 KB |
sha256:86cf6abb6fb5837f8825e9abe1c30d5d1858a75d77ecf92ac7c3f0fb1042a1a1
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
40.5 KB |
sha256:d2b736ae64422a778ac056973a3fface69d8539cbd1bcc4f813fcb29dd8cc0d4
|
|
|
test-results-windows-latest-key.core
|
604 KB |
sha256:221c3dfbb94dd20339152bcbd1e1257c488cd24d84602b54a3acdb6730ae47bf
|
|
|
test-results-windows-latest-key.core.example
|
40.1 KB |
sha256:7a34c6437cf51d9ab31651fde0e4c4f281fdf7312aa28b15992b25eab27bef3d
|
|
|
test-results-windows-latest-key.core.rifl
|
40.1 KB |
sha256:7199bd0078979c4555a74e6c7027228ccc5f412e9146d28cd10ece4adec2504e
|
|
|
test-results-windows-latest-key.core.testgen
|
62.6 KB |
sha256:ffa6494a09640a7658e06f347cba28827126f6298fc3a246ae78d3c88da5e7c0
|
|
|
test-results-windows-latest-key.ncore
|
48.2 KB |
sha256:6e40315843af15855d344b66ffb4b56f5c5768b23ed4bf6124b5073c0148fb1a
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.9 KB |
sha256:a08edf9d48023f44408e2e73174683ac12e15e31eaa3803663f5b42f7b0e889a
|
|
|
test-results-windows-latest-key.removegenerics
|
54.6 KB |
sha256:3c3f242411eb6e3e67c70231cf007b7ec422430ac4303442d97b3aa27b1c755a
|
|
|
test-results-windows-latest-key.ui
|
56.4 KB |
sha256:1ecf61d87a2506a5a84b7bc39235abcd8400350ecc2f0778cc03ad380d3cc67b
|
|
|
test-results-windows-latest-key.util
|
79.7 KB |
sha256:5312c6f69655511b089283ca36884e13f426b0587fb24ac78e62e1d63c48addc
|
|
|
test-results-windows-latest-keyext.caching
|
48.5 KB |
sha256:108fcee982091db4c0e8e6e470a2e8790fb6167f2a8515ce06d2021ec2705b16
|
|
|
test-results-windows-latest-keyext.exploration
|
48.4 KB |
sha256:a14cda48666453032e765ec6d24996e077a6ab1e1ceaacb5e9a42c6e7a6ffb58
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40.5 KB |
sha256:acfc0246734293b5d5aa4cf1c0357204660138bab2f68063cc8857fecf1a4c23
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
40.5 KB |
sha256:2d6ddff9189df52e32447e6544131ce6c7c059a0aae2aef5179921a123d863e1
|
|
|
test-results-windows-latest-keyext.slicing
|
57.2 KB |
sha256:3256e25a6016d1388a4e66ee7a2ccfb42692dfc7bcc0a009224a732396bda404
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40.5 KB |
sha256:1883f3fa2cbadd1843ec2935d4e912c7915aeab90572d3002b1a1313ab8b9cdc
|
|