Options Panel in Load Dialog. Options in Recent Files #4561
wadoontests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
2 errors, 18 warnings, and 15 notices
|
unit-tests (ubuntu-latest, 21, key.core.example)
Process completed with exit code 1.
|
|
unit-tests (ubuntu-latest, 21, key.core.example)
timeout (10000ms)
|
|
unit-tests (ubuntu-latest, 21, key.core.example)
No files were found with the provided path: **/build/test-results/*/*.xml
**/build/reports/
!**/jacocoTestReport.xml. No artifacts will be uploaded.
|
|
unit-tests (ubuntu-latest, 21, key.core.testgen)
No files were found with the provided path: **/build/test-results/*/*.xml
**/build/reports/
!**/jacocoTestReport.xml. No artifacts will be uploaded.
|
|
unit-tests (ubuntu-latest, 21, key.ncore.calculus)
No files were found with the provided path: **/build/test-results/*/*.xml
**/build/reports/
!**/jacocoTestReport.xml. No artifacts will be uploaded.
|
|
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, 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, 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.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.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.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, 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.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, 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.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.util)
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, keyext.isabelletranslation)
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.ui.testgen)
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.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, key.core.wd)
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, key.core.infflow)
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:5e69cce8c1187a990e5c036a201a653831444ce8b9b7d3f2eb6cdbf3e7a0f209
|
|
|
test-results-testRunAllFunProofs
|
586 KB |
sha256:a0e09a5ec13cc26a3a98bc3d9493651fea6b7d080eeca2633dbe853992c7554a
|
|
|
test-results-testRunAllInfProofs
|
80.9 KB |
sha256:3feba1106abfa2c8b1fb7484e0d8d42bedb8f66c7cbad9dd58018ef5cb1a0571
|
|
|
test-results-testRunAllWdProofs
|
108 KB |
sha256:54b62dd997d47d26396d18cb8946c52f0ce3545d14218df3fc805d04cfae6d15
|
|
|
test-results-ubuntu-latest-key.core
|
821 KB |
sha256:c3c8826b4d0a9461e4ff8e0b8aed306f6560faf40722ce470033f05db5b98286
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.6 KB |
sha256:44cad8eee4ca0da66332b275f866d5eb9b8d2d5e1ad419a34cfad1348b7c0919
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.5 KB |
sha256:173a6338779cfe0c7c0d7cf538277662c7628d0fafeecbb06ca9725fbdc82649
|
|
|
test-results-ubuntu-latest-key.ncore
|
47 KB |
sha256:b253d5292714c7a064e6fdc613b5882fcd8efbc832d001e409b0ebb3b23a19e9
|
|
|
test-results-ubuntu-latest-key.ui
|
55.5 KB |
sha256:c4e7dd707b4ec58e521ab671070c0d51de5a69d2719f33c417195aba30573da4
|
|
|
test-results-ubuntu-latest-key.util
|
74.2 KB |
sha256:0044ed6fc090c6fa70e3a2e1330f7a513b7a9d8c4ae4f8c3b36d0ad53cb4af97
|
|
|
test-results-ubuntu-latest-keyext.caching
|
46.2 KB |
sha256:0510101a86dcd5c61d5b07b909bb318bb934598f501d74e8fad459608a619305
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52.2 KB |
sha256:62b03c7d6a236715ccbb6ead648338a55988485f8e60427a3c968e434625736c
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.9 KB |
sha256:f77a247d64a750773461749ad319b66b773a37544f591fbdc9945f22a40a46cc
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.9 KB |
sha256:26a9c5bebbe15fba17b112b043c2ed79dd956f270072160d0cfc2a8e029fd840
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
51.8 KB |
sha256:6c1434e36fb4ff8bb6486a0071b83b3c22ba83df0812b5ac9b56775cafcf84df
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.9 KB |
sha256:99e0375b2a77df2c071c915469b680f3117640afa08945558510b23a22e0d094
|
|
|
test-results-windows-latest-key.core
|
825 KB |
sha256:99eea191ad3c831c969eb2f7daa738ee7ada9492eff6902cfc7eaf3132f798e1
|
|
|
test-results-windows-latest-key.core.example
|
39.5 KB |
sha256:70d6bf389e4621f602da724a72cee2eccbbabe8b349c85f6153db26688fa6262
|
|
|
test-results-windows-latest-key.core.infflow
|
45.7 KB |
sha256:3913ec7d05562423eb320f8a8a6af8fa47c09efbb2e9fafcc1f2d7c18b022f59
|
|
|
test-results-windows-latest-key.core.testgen
|
51.6 KB |
sha256:6054bd0ed2187a52a2da3de07c23d7e00dcfd2995fa5dce5fda1de3a9b6033aa
|
|
|
test-results-windows-latest-key.core.wd
|
45.6 KB |
sha256:62ff56f5a3469f95b52563ffe9896bfb2b2eee7ba1c710205b76168300cf1196
|
|
|
test-results-windows-latest-key.ncore
|
47.1 KB |
sha256:311866c28ce279be69216d3cc301638da8e599184ab4e073e31761ebd5fd60c8
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.3 KB |
sha256:e36ab24200ff30fdc4602b5ce2ce1fd6d12b4f261a25029781631546b6b15825
|
|
|
test-results-windows-latest-key.ui
|
55.6 KB |
sha256:c2a1785816d52487951f602e734bf76ee364f40a13d0523a378782a6d3b2c30f
|
|
|
test-results-windows-latest-key.util
|
74.4 KB |
sha256:0cc738bd4066106f4543d20307f8ea1191fd2eca6879dae53ae5cb027d3fccb6
|
|
|
test-results-windows-latest-keyext.caching
|
46.2 KB |
sha256:e86946f652467dcfe8dc8d058def2c849d6c4aca8d497717bca536fdde7f2209
|
|
|
test-results-windows-latest-keyext.exploration
|
52.3 KB |
sha256:2d1a5e977a63f7b426d03fceece8b6e4e78f8d209f8247b84f13cf59e67f10be
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40 KB |
sha256:838988440314c7beeb03e1ff781aa77382cdc814a313440300eb84ca3e152b3b
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.9 KB |
sha256:04acd5f506d61c522cc7cd20edbcfece9de67d4ba431ef9a5358013229c096af
|
|
|
test-results-windows-latest-keyext.slicing
|
51.9 KB |
sha256:7e87524e852293d4333a8057bdf96dbb66f2907c3fb015284a6373ff848c5ec7
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40 KB |
sha256:ff6945d4218bc068bf466e0b552fcc07591f9a53495f8f23587783825770d408
|
|