Deployment to Maven Central SNAPSHOT #4559
wadoontests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
15 warnings and 15 notices
|
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.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)
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.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, 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.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.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.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, 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.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.
|
|
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.ncore.calculus)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
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.core.wd)
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, keyext.proofmanagement)
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.isabelletranslation)
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.infflow)
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.ui.testgen)
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.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:8e98476e45cc1ae99356e52fae8d4fc6301e5eae85052db59b641973c721d35b
|
|
|
test-results-testRunAllFunProofs
|
587 KB |
sha256:6051cf10215b557facf5b5730a688fa3daf31862758d1535085410613e29c198
|
|
|
test-results-testRunAllInfProofs
|
80.9 KB |
sha256:9b319bc1a664133c2f0c547f4a3be28a6c58eaf2b63f533a4e6e39078fb63f67
|
|
|
test-results-testRunAllWdProofs
|
108 KB |
sha256:5c50ea00455e73d42e66038d7bad6c052ec2cfe3f7a4f9d378b41dae768767a5
|
|
|
test-results-ubuntu-latest-key.core
|
820 KB |
sha256:8bfef1a08f55771f2472e6cf367dfb001a13cd6578c3d9b06179fd46c7a4294a
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.4 KB |
sha256:bb8c03a3d7553ba5799a043f0072e9efb64511bbd5e151c2e5fb841b9148c50d
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.6 KB |
sha256:0fadf0d74d9c094cab9c42a8c2305958cdcd2912fb74219913054f295782e446
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
51.5 KB |
sha256:3fe738c0efc29db757f98266af591ee05c34de5890149d09df94c34da16edf4c
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.5 KB |
sha256:40e3e3bb356e16796e4623d3db867adcb4541235a49e6718aacaf8262fb83e81
|
|
|
test-results-ubuntu-latest-key.ncore
|
47 KB |
sha256:99e2ce71b562604f4709e5ded998965161de2da221a8cfc33f9fa516e59e64f0
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.3 KB |
sha256:df1bd0d1d08f30c406fd2c67fedd5d47d8f5d7be6d7dce003e223aac07baf9c0
|
|
|
test-results-ubuntu-latest-key.ui
|
55.5 KB |
sha256:cf519f5ac60f332666bd15e086c8ca4c28ed0682aa78a67aeb182b14da72e6d5
|
|
|
test-results-ubuntu-latest-key.util
|
74.2 KB |
sha256:d0d08e04708f9d42e75fa1ebe4fc74f3064e3183bbdcbcd021a60377c9399014
|
|
|
test-results-ubuntu-latest-keyext.caching
|
46.2 KB |
sha256:513092986953bccdc42e873bddbe1a277fe1d004745e1cb6fba388578c0eb755
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52.2 KB |
sha256:d4eaa13824890125a49dbc6caae451b63ec4070c59e6ad55e203b39f0b7495b6
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.9 KB |
sha256:37f4ad6f7145c77bf151f7cb2f6286a4e36c23d5d9c1536655bd6eeb3478732e
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.9 KB |
sha256:6e9ebc833d428ba64298983d17f1bb9ddfad016dc3b4ddc4fcba558679fe81f3
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
51.8 KB |
sha256:96566fc8e3c248bdff1cc00ade22bece4c5ffcf003d6919f14468a3eb05d1cc5
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.9 KB |
sha256:cf37dae1cf3b2c41ca5fb9517d6465ee3b2dc0e78dad5ffa29e57bd44e42d25b
|
|
|
test-results-windows-latest-key.core
|
825 KB |
sha256:bff029405d1c2d5102280247d9a34d2850d39e027b17928a935beef1ed85b59e
|
|
|
test-results-windows-latest-key.core.example
|
39.5 KB |
sha256:7fe256c3fa3bcf96d7d4b44c17824aba7781e726b80acb74971d4dd90a33cb4e
|
|
|
test-results-windows-latest-key.core.infflow
|
45.7 KB |
sha256:4e31e1f804a50b25878a855ef82252e3b4151820e90391929be6ad1253a1a145
|
|
|
test-results-windows-latest-key.core.testgen
|
51.6 KB |
sha256:99c669d4c5f99d4c4cab469317af26ba922417a41d1642053d39ccc13f20f318
|
|
|
test-results-windows-latest-key.core.wd
|
45.6 KB |
sha256:f5c508ccd5438945b0412c50e0894f4231ec53fa0d8ce79f537deee2992abb09
|
|
|
test-results-windows-latest-key.ncore
|
47.1 KB |
sha256:70d24a9c37207b3ebe43c861c28e0d8dcda84bde67f61e8e9f6a12db953d012f
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.3 KB |
sha256:92012212382cba9f90e82c4d93e598623430d85d05446c257b57cc3d81d69550
|
|
|
test-results-windows-latest-key.ui
|
55.6 KB |
sha256:ffe513e11ef03863176318f78bccfed6f0a8ac11cb703996208627b2c5e398ff
|
|
|
test-results-windows-latest-key.util
|
74.4 KB |
sha256:40d314e6c2458b61915d7a63119f5d3ed12c09400d1800d1dd8aa010b011d41e
|
|
|
test-results-windows-latest-keyext.caching
|
46.2 KB |
sha256:ed6d7675260407fc1b7197e39280698940698e850dc23dbdbe6fe1f092df19ec
|
|
|
test-results-windows-latest-keyext.exploration
|
52.3 KB |
sha256:0bbccf1128ede2a4d38899083bee67ebb51feb15779f57b8ceadadf57c638d68
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40 KB |
sha256:d1fb1faafac24560af24e44a9e5bf16376babc3890575473908a8e5763db31fe
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.9 KB |
sha256:b86570b3471480323ebe6ea6fdd5a7c3f3e8d24c13b577b930156d05b8806238
|
|
|
test-results-windows-latest-keyext.slicing
|
51.9 KB |
sha256:6d51e61de37834b15606335af47e2925bc01a6e539cc51a5d1cc857da37698a9
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40 KB |
sha256:718737f44bbf35a6d43c8539bca233abdaff5531926831de0286252d2fb70a1d
|
|