Options Panel in Load Dialog. Options in Recent Files #4565
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.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.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.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.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.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.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.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.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.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.
|
|
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.example)
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.ui.testgen)
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.infflow)
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.proofmanagement)
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.exploration)
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.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:bef9f0d286de7c6496486b3e31b0911bf2dca71a7cba6d7ade182d63495f790e
|
|
|
test-results-testRunAllFunProofs
|
587 KB |
sha256:546e611426bbb954e4f83473d98f4b99e8f38669e674164ebdfe72b1e7b52dba
|
|
|
test-results-testRunAllInfProofs
|
80.9 KB |
sha256:23dc3b115360e9a178842c9ad319edf48f95b594d721c3e8749d16fc271ae179
|
|
|
test-results-testRunAllWdProofs
|
108 KB |
sha256:be973ee0fd7204a808acf745878c4c5d921312443f13a3e676ff2f92e15c69af
|
|
|
test-results-ubuntu-latest-key.core
|
821 KB |
sha256:265856f12da8f7e580e0b909cefaf381e9e3cd8b5f5bba9b0fc8540b36bb95e9
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.4 KB |
sha256:c890188d2f0448c3e6ffb73eea06065c8ddcd422a5f203ea9cc74c431cb240ea
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.6 KB |
sha256:04b525b9e4a2b17c3bd2d7d0c6db07e12b49d5bf2bfdc15763c5980699511f6b
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
51.5 KB |
sha256:bd1c4fec519c7fed1f2b0b54fcd3aa3ab7d338e677cc5ed4b0583a04c36c4a5b
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.5 KB |
sha256:4b724c87be482d26949c0d74031ff92e749ca641af0d9b45883eecf41faa6ae9
|
|
|
test-results-ubuntu-latest-key.ncore
|
47 KB |
sha256:fba7d7cabfc4cc30777c02eae58e176586e35508ac4cd5f6a30d4fb4d5602749
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.3 KB |
sha256:71d7c46d08825b17ee1af1a92d0e0d8fb891c921b14d8b4f95494305be76d860
|
|
|
test-results-ubuntu-latest-key.ui
|
55.5 KB |
sha256:100dfc13e0445c011677390fa5461a4a18e81aec52ee9cae03a07bd8d7df581f
|
|
|
test-results-ubuntu-latest-key.util
|
74.2 KB |
sha256:5c9d593f487c6d5b3e2e0d93261af8a4615eab13da65d434cfc5c9f4c2b40a77
|
|
|
test-results-ubuntu-latest-keyext.caching
|
46.2 KB |
sha256:ceb6c32215dca59b5bd1d476640e450ffa6e6c0506e39b02880392c807bff84e
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52.1 KB |
sha256:c2674f0165917f765053718011425847b915b42f5a3a70da3871ab48144c5bb0
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.9 KB |
sha256:063d9b51aac75e921e29efd796b8a5d3a1b730896aefb516572283ff4f7c499f
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.9 KB |
sha256:c86c00708ecba83cda841579762257d1da00fa12c1fd1a7995d72e892ec7a581
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
51.8 KB |
sha256:863f745aa6f4b4dda3f7f7416a84666fa882316b084636649e52de4fc95ab033
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.9 KB |
sha256:2de546de0c72806c05aede80927221eb4a5b94aa7ac4fc3b6ff353733bdea254
|
|
|
test-results-windows-latest-key.core
|
825 KB |
sha256:afbaa2887872151ad53abd5f31a0ef9418e8b78262c8390b3f1f2b5b2398c933
|
|
|
test-results-windows-latest-key.core.example
|
39.5 KB |
sha256:5ba514f67353d89328a3e3cd88add42db62b31f8a6a4b0bde8966bea5a030065
|
|
|
test-results-windows-latest-key.core.infflow
|
45.7 KB |
sha256:65ce8f250d32a8b4e8e2d0de0e81e69ffdbb10d3ae4c30fc83ece335c894fcc4
|
|
|
test-results-windows-latest-key.core.testgen
|
51.6 KB |
sha256:ff9ce1b6488407d16e03f1926691e4a8d16debc98ae2adac52fa42db8fd60b14
|
|
|
test-results-windows-latest-key.core.wd
|
45.6 KB |
sha256:8fec75c2e3595a9e6718ab574ef75573c73821f60f3845c041e10c9a4e5056f8
|
|
|
test-results-windows-latest-key.ncore
|
47.1 KB |
sha256:7e279f455ab846960b10dd225be79f8e4406bef849f26e063d410cca6cc54120
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.3 KB |
sha256:5c20946ea8aec7cf9bddaad1106373eddda91def9e2792ef4cf2113d1f84fd0f
|
|
|
test-results-windows-latest-key.ui
|
55.6 KB |
sha256:19de91a4125bcb8a83f335a1093a36e7d36ee7419016c8c4c4111934ef99c594
|
|
|
test-results-windows-latest-key.util
|
74.4 KB |
sha256:75a7d3138326a13cd253685033d5d119e1b391a8cd7672c5db9e4d5e144303f1
|
|
|
test-results-windows-latest-keyext.caching
|
46.2 KB |
sha256:ffc4e0f469e25669ca27c5e667d4372615eace248472064ed5ddfea825d3ba83
|
|
|
test-results-windows-latest-keyext.exploration
|
52.3 KB |
sha256:01c5e3d952392efc3bb0ede1d37b00be4232507cef64705f3057bdf44dfb8298
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40 KB |
sha256:c5c442cd6fef6fca40ceb19f7472b62be1aec764efef92ac61000b8562298782
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.9 KB |
sha256:535c3b6086dc84eae79c77b92b440b804ee71759316de65d5ea87ef1aa515513
|
|
|
test-results-windows-latest-keyext.slicing
|
51.9 KB |
sha256:52442bbe55ca323fecbda635082f84e13a6560c72ae7709602c4b2105f4e759a
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40 KB |
sha256:b36a58cedc31d5b69c9d125bce214b2ffb4f7b9074acfad95fa6966cdca018a4
|
|