MetaSpace for documentation and origin #4563
wadoontests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
2 errors, 15 warnings, and 15 notices
|
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
Process completed with exit code 1.
|
|
integration-tests (testProveRules, ubuntu-latest, 21)
Process completed with exit code 1.
|
|
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.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.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.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.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.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, 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, 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.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.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, 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.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.example)
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.ui)
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.ui.testgen)
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, keyext.isabelletranslation)
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.exploration)
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, 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
|
59.6 KB |
sha256:e2faa17a3f2569b90ec6e4dc4d4ac4407b78d7fbe8c227d398e7abf67a79b06f
|
|
|
test-results-testRunAllFunProofs
|
39.3 KB |
sha256:3aa6bfa13c37ec1108d93da5d5ce13da24ac514664aee581fb265255ae2d2f45
|
|
|
test-results-testRunAllInfProofs
|
80.9 KB |
sha256:72ab1c3237f325468b8680a84da9538d607e9ebefcb6cec50c782fea1b19ee92
|
|
|
test-results-testRunAllWdProofs
|
108 KB |
sha256:c2c55a5463e2622a140cd0001adbd24f4f13533e19b29169abbefde0f71754f6
|
|
|
test-results-ubuntu-latest-key.core
|
821 KB |
sha256:9d480ac8d803dd1f43ee8f39ba85cdae77a3a2f30c1f12a3448500a3dbce5c24
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.4 KB |
sha256:39629e4cf8e028fcbe742da580c4c18808ef289d12f02eb56c494ecd17ff21bc
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.6 KB |
sha256:c2b666c95bd746b8c04d51b87daccdadd437f3aae9eac70727fd86c3a96ea456
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
51.5 KB |
sha256:edebbdba233f16e66b86dd3fc3fac1eb2cf9e968118b28117401712b79922571
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.5 KB |
sha256:3e5d5c7ae50238702331ab675c3d51e0e68cd1de36a3c5d03498a2c9bb6e4f90
|
|
|
test-results-ubuntu-latest-key.ncore
|
47 KB |
sha256:9bd404009f164cde5385d31716a45074e4af6dc3fb4e6221f5b8679dc0733c8e
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.3 KB |
sha256:8dd3b8a1e8aab5b3cfe1c6d55b561e42839ddf3e09bc64bef6de10be6054512c
|
|
|
test-results-ubuntu-latest-key.ui
|
55.5 KB |
sha256:72afde0d6d1e4cb1cdeeff3428c6fe69bf39183140ab642d5c6084fcad1a1fa7
|
|
|
test-results-ubuntu-latest-key.util
|
74.2 KB |
sha256:8eaa0a3402646be53addd9162ce50f906a52e39941d8e3026561af959eb7f204
|
|
|
test-results-ubuntu-latest-keyext.caching
|
46.2 KB |
sha256:4b95ae00866f68515c8bb508d0e8aa58238334a325c46fe03b3306330c2b8ddb
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52.2 KB |
sha256:47b1174557b4d0134a6aa8a9fed4c3b9915e4299559a41a0b7332b490320a916
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.9 KB |
sha256:4d85d466836037dd7e91ace42bab270185cd85d0cc3ec99811d539b8ddf7a256
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.9 KB |
sha256:d7241f525d5d9eadfa62411919156c8f64f981ca2cda2a602350611093b59e1d
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
51.8 KB |
sha256:7974edc07beaed2d70273910a78e77bac58b14716c63f1260fd5643f0125604e
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.9 KB |
sha256:06cc041f3ddbbb73a1c03d7fe031cacf7a651f90956f8c4a618fe437de8a71ab
|
|
|
test-results-windows-latest-key.core
|
825 KB |
sha256:a8263c5708d56dcfef0abaca2eaa4dffd1a30e619df901b7cade7ab39e6aab0a
|
|
|
test-results-windows-latest-key.core.example
|
39.5 KB |
sha256:437af73245de6bb9d29b014da26945464b09b1c9fc08b26e06efe1f6a10ceecc
|
|
|
test-results-windows-latest-key.core.infflow
|
45.7 KB |
sha256:ec6e5ab966161a3a5b46b3f5a0afe8dcc0a730f600d638c4d837489d02507929
|
|
|
test-results-windows-latest-key.core.testgen
|
51.6 KB |
sha256:6cb4884870b7abd561420d717429f96f458a4799913a9ae1ae3fe93b59fbdedc
|
|
|
test-results-windows-latest-key.core.wd
|
45.6 KB |
sha256:27c4647a77045dd9d9c6e5407404332de5c372bf95a5b954c60e185c816c92cb
|
|
|
test-results-windows-latest-key.ncore
|
47.1 KB |
sha256:b2386fad75b44a9915af61e2355f18251371d7f1bf046dceb4eefb445397466b
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.3 KB |
sha256:1f6d97c8ea59192e4487537edc75b96f0c35df767593ecdcbd043583f70ff32e
|
|
|
test-results-windows-latest-key.ui
|
55.6 KB |
sha256:2f777103819f89bcc0b87722c8e1283a0f75728d780f167265f6130040242ca6
|
|
|
test-results-windows-latest-key.util
|
74.4 KB |
sha256:fab47d3607e752849fa30321bfcb9f24d315c3767a669837827c64e30a73b035
|
|
|
test-results-windows-latest-keyext.caching
|
46.2 KB |
sha256:37e7159afd569fe0b35f0a937ea977dbd3a8fbe95ae233a4a8cd863ec8a78c21
|
|
|
test-results-windows-latest-keyext.exploration
|
52.3 KB |
sha256:771c8f81b1516ece82545032b9031afd3ceb4ea81b699d19310dc4d2d197fd43
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40 KB |
sha256:64b5b42e85750baee56d56e59c3bfe568bf498420af9220b4910edad9ff187e9
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.9 KB |
sha256:553de22bf24994ba7109a22d8237c4330a142b5f3d62dbd11f4c7bbb8dc757aa
|
|
|
test-results-windows-latest-keyext.slicing
|
51.9 KB |
sha256:ccc2b95cc6b832160b1130222132f65516a1104e61a46cb348d32be98db8f55c
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40 KB |
sha256:bd534eaf6201e6914cbf372b6d6ce9bc1904e017f78023e8b8cb60c0da7bd981
|
|