Cleanup: Use Standard Tech for Test Fixtures #3365
Triggered via pull request
June 29, 2025 22:45
wadoon
Status
Success
Total duration
1h 12m 31s
Artifacts
33
tests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
1 error and 14 warnings
|
unit-tests (windows-latest, 21, key.core)
Process completed with exit code 1.
|
|
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.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.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.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.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, 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.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, 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.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, 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.proofmanagement)
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
Expired
|
88.4 KB |
sha256:64fe59dd142a6ea1c8c7089efcd7a4c96d82cd6528efb5e099931f242585a03d
|
|
|
test-results-testRunAllFunProofs
Expired
|
383 KB |
sha256:bff032381297d3a7392c2dc194171e95ba3ab192a6c5c16224f6b76a39b791fb
|
|
|
test-results-testRunAllInfProofs
Expired
|
218 KB |
sha256:cf82b0c2b4488094d3ef66d654584aa9033349f883bf5912f4e9754f48e9d303
|
|
|
test-results-ubuntu-latest-key.core
Expired
|
606 KB |
sha256:ad7ba60cf4ce4a96d5f0dcc8567f6f3bfacbd210e618d31242955d4289871df3
|
|
|
test-results-ubuntu-latest-key.core.example
Expired
|
39.9 KB |
sha256:955578d78fc693ece8230729096a1926f96054436c3fb6bbc36af190bfecc251
|
|
|
test-results-ubuntu-latest-key.core.rifl
Expired
|
39.9 KB |
sha256:e0d5e8eaaf37f95bfd3cb5b306da949c9b2197d824ec7ba0a0b4d0146ec20860
|
|
|
test-results-ubuntu-latest-key.core.testgen
Expired
|
63.2 KB |
sha256:8c905548d24216f72b4d0a4584f1197979992d7274aecb087c43b09e3b68df64
|
|
|
test-results-ubuntu-latest-key.ncore
Expired
|
47.8 KB |
sha256:c04c96d9206a9d4559a7826d21bdeaa564367e8e7e06a2236de2c44a28045014
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
Expired
|
39.7 KB |
sha256:db026100d4c97366d9ad1ed51871fb1cb17c75b980f725beff87de16dce7273f
|
|
|
test-results-ubuntu-latest-key.removegenerics
Expired
|
54.3 KB |
sha256:afadc940287d9b414aca219766b21283f948d150106ca2e22f66889e01320afe
|
|
|
test-results-ubuntu-latest-key.ui
Expired
|
56.2 KB |
sha256:6118d29490bbfb28b6191ad751bf6be2009f1fe9781db63480ca07a6aed2ab38
|
|
|
test-results-ubuntu-latest-key.util
Expired
|
79.1 KB |
sha256:da541bee9972c9ed548ddb4495a429c7b6234144be84e3b6c6ed4aab2219736f
|
|
|
test-results-ubuntu-latest-keyext.caching
Expired
|
48.2 KB |
sha256:fcc5aa030d5e0ee6f786e28eb1f54c425e10c1c49ca06e0db5d22466d479bafa
|
|
|
test-results-ubuntu-latest-keyext.exploration
Expired
|
48.1 KB |
sha256:96d89645283981fff67d4b1545cc8621abfc1e2c1c8731e8902a3301c46b93c7
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
Expired
|
40.3 KB |
sha256:34f1af50fa482cc34cd5dc4890a66dd92899cf3811ee3c8249c0e00f9606607b
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
Expired
|
40.3 KB |
sha256:771feb8bfc0d565bfd1a53a03185662b3c1f6f890b2da0089d119935665f57c1
|
|
|
test-results-ubuntu-latest-keyext.slicing
Expired
|
57.1 KB |
sha256:ba4cea1df89eea712a87d02d492f05e4c1a02d22d009a13bc930cb3633cc89b1
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
Expired
|
40.3 KB |
sha256:c4d0c48821904ffa68da6497d87dfe545577a7feceb9b352c60bd94837e112b2
|
|
|
test-results-windows-latest-key.core
Expired
|
604 KB |
sha256:0fb960622577dc58abbc0ee8943460671a9d6a13de96188c57c56647f72c16bb
|
|
|
test-results-windows-latest-key.core.example
Expired
|
39.9 KB |
sha256:e7f0656181e1876e50b353cfaf27651f6f4977aa256ff3071e09f2944a44f432
|
|
|
test-results-windows-latest-key.core.rifl
Expired
|
39.9 KB |
sha256:16b91b4bc00407f936bdd1e9771da9d4e1b273b9886d12a66737b6cd23e4bcfe
|
|
|
test-results-windows-latest-key.core.testgen
Expired
|
62.2 KB |
sha256:260a85ccb1f2d3293cc003ed22170ded58d47717574fe62dece94dcc92e49a8f
|
|
|
test-results-windows-latest-key.ncore
Expired
|
47.9 KB |
sha256:28920937d7fcb8bf339a3186f72361e36efebda6c0df83e3e7f63826912b85ca
|
|
|
test-results-windows-latest-key.ncore.calculus
Expired
|
39.7 KB |
sha256:36f0b1680e77259b1d43f2739142e81e94a7e1cbb7ff93339269adfe153c5de2
|
|
|
test-results-windows-latest-key.removegenerics
Expired
|
54.3 KB |
sha256:cf3e856ae9e069bd3eff154a9131881c053b070e5e29f1af889de63daf99298f
|
|
|
test-results-windows-latest-key.ui
Expired
|
56.3 KB |
sha256:9d860fca7783cfd08da297c7e43369e5c03d6531c7adc05848e5512b4aec963e
|
|
|
test-results-windows-latest-key.util
Expired
|
79.4 KB |
sha256:ef39e1ec24e2708e73d6374a865711383bcaf9e5a9c46e99c1e7c18aacc3eb9a
|
|
|
test-results-windows-latest-keyext.caching
Expired
|
48.3 KB |
sha256:495bbbecd63551d2448da045bbd1cd8db7b3733bf08667d8b16be22188685d5e
|
|
|
test-results-windows-latest-keyext.exploration
Expired
|
48.2 KB |
sha256:896f8ed87467e0a3486827e2d3637db507699d640869c1676ac8e46dd75b0715
|
|
|
test-results-windows-latest-keyext.isabelletranslation
Expired
|
40.4 KB |
sha256:ac068885b015fea38f87be2747826bb42e617039056fb0424a41a471431d94e3
|
|
|
test-results-windows-latest-keyext.proofmanagement
Expired
|
40.4 KB |
sha256:2033cb703a0240f34595e9cea4e0d04caeeb192ebb313a5bcc49bd2bb5c53923
|
|
|
test-results-windows-latest-keyext.slicing
Expired
|
57.1 KB |
sha256:88a5bb0b21f337ac973cc3320748a71bac1cf4998521703f6156f63bc3a2842d
|
|
|
test-results-windows-latest-keyext.ui.testgen
Expired
|
40.4 KB |
sha256:984f15e7a797ac21e629bd06b70beda5eede499c23984b859b34b8ae9bc0fde8
|
|