Remove codecov from CI (#3802) #4517
github-merge-queue[bot]Annotations
1 error, 33 warnings, and 15 notices
|
unit-tests (ubuntu-latest, 21, key.ui)
Process completed with exit code 1.
|
|
unit-tests (ubuntu-latest, 21, key.ncore)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
unit-tests (ubuntu-latest, 21, key.ncore.calculus)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
unit-tests (ubuntu-latest, 21, key.util)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed 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 (ubuntu-latest, 21, key.core.example)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
unit-tests (ubuntu-latest, 21, key.core.infflow)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
unit-tests (ubuntu-latest, 21, keyext.proofmanagement)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
unit-tests (ubuntu-latest, 21, key.core.wd)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
unit-tests (ubuntu-latest, 21, keyext.ui.testgen)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
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 (ubuntu-latest, 21, keyext.isabelletranslation)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
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 (ubuntu-latest, 21, key.core.testgen)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
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.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 (ubuntu-latest, 21, keyext.caching)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
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 (ubuntu-latest, 21, keyext.exploration)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
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.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.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.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.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 (ubuntu-latest, 21, keyext.slicing)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
integration-tests (testProveRules, ubuntu-latest, 21)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
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.
|
|
integration-tests (testRunAllWdProofs, ubuntu-latest, 21)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
unit-tests (ubuntu-latest, 21, key.core)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
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.
|
|
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1
|
|
unit-tests (windows-latest, 21, key.ncore.calculus)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.ncore)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.util)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.core.infflow)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, keyext.ui.testgen)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.core.example)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, keyext.isabelletranslation)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.core.wd)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, keyext.exploration)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, keyext.proofmanagement)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.core.testgen)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, keyext.caching)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.ui)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, keyext.slicing)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
|
unit-tests (windows-latest, 21, key.core)
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
test-results-testProveRules
|
53.9 KB |
sha256:a1ed406f79b8e2f42962e4808f93d652655c06b15889cea7eecac1bc95db995e
|
|
|
test-results-testRunAllFunProofs
|
587 KB |
sha256:ca1c66b34179c1c1c80e16ae9dc24238ffdbd365b0e273893fa3513d7fa15d05
|
|
|
test-results-testRunAllInfProofs
|
80.9 KB |
sha256:4be649c6671de87d8f913e96304e1de94bed5ecbab949d0345bba0d637fa0ca4
|
|
|
test-results-testRunAllWdProofs
|
108 KB |
sha256:ff1505bca244b9d78a6f5f75133e47aaa3f78cc7f51ce45945e1d6ab2d74da71
|
|
|
test-results-ubuntu-latest-key.core
|
821 KB |
sha256:978efc3224442384c2069a698b4c2277b42628df046e60c647de01159af97bc2
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.4 KB |
sha256:697a122b7293f59835efd3f90133003cef7ffc7b9a10c8ad83ef0ce501c7e5b4
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
45.7 KB |
sha256:cfe3e2568233255d36dbe504d9c84a591ec2efe75a2bfa9e58b767beed695d10
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
51.5 KB |
sha256:31bbbfce853e51976f2b4ada89961114a78aba85de7e47fb37250397c60fcd29
|
|
|
test-results-ubuntu-latest-key.core.wd
|
45.5 KB |
sha256:326234f1d66a48ad9f49c8bc1c01ff5272f9c4a6eac720a88bd55633b1d250df
|
|
|
test-results-ubuntu-latest-key.ncore
|
47 KB |
sha256:87edd20ae0a8456869e54be18618516bf6262275dfa9e9f97b17bdd8773d5666
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.3 KB |
sha256:9bc31be8b6ce9a132ea03f6e1426f5de3b5d15d0ca8450e63bbb69295eb721c3
|
|
|
test-results-ubuntu-latest-key.ui
|
39.3 KB |
sha256:990a99057afac11e082a46e265d3ecbe9b4e00911253ce610efeee6f6f8cde8d
|
|
|
test-results-ubuntu-latest-key.util
|
74.2 KB |
sha256:ffd489da2fe73047ec265ffd71a30e2fc75e188e3374f3d025eb9e9de1c970a6
|
|
|
test-results-ubuntu-latest-keyext.caching
|
46.2 KB |
sha256:d40e4f9f396009f539bb9cea61eab64a17b28cf9ebdb59373923adfcd25dcee0
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
52.1 KB |
sha256:4869dd3b81afaaa69c34c433432da3239ed75086bd4f53e673a06a2d9789aea5
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.9 KB |
sha256:1cb54100dda1ad0554247e65f185252ff29cea68b70e2726b255e63c63e2ea7c
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.9 KB |
sha256:d5b5181d17d1297a1ebfcfc6f46fd67651b84d8a7178bfa00ad4b3c34f2aa6bd
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
51.8 KB |
sha256:15f40af4f5844aeda901590e0879bd3146a4c8995389f7729c1e31dc286c7e6f
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.9 KB |
sha256:18f5b86aab0b27a52743147f99dba1e4f93a1382dfe0b7fa6a012b9673143615
|
|
|
test-results-windows-latest-key.core
|
826 KB |
sha256:1f35379729ea6eff837c225082e7efd9a8d004ad1184ac8aab514af6edeec175
|
|
|
test-results-windows-latest-key.core.example
|
39.5 KB |
sha256:92f7919854e2df6c816e4ea8c07c83b3f326dc81659ab96394287a8850dbe300
|
|
|
test-results-windows-latest-key.core.infflow
|
45.7 KB |
sha256:98d405bbcdea10b99fe1550ad7191e1f4dc994fd6c940821851c73a764a58ed7
|
|
|
test-results-windows-latest-key.core.testgen
|
51.6 KB |
sha256:ca0455b4d43e91c86f4f60986f59929ed7dae58ed2f46a1dbf6aea80024f7e6f
|
|
|
test-results-windows-latest-key.core.wd
|
45.6 KB |
sha256:91392462b47269db34752adef1becc2691d5747d651d384b6d50e4d4c89c2945
|
|
|
test-results-windows-latest-key.ncore
|
47.1 KB |
sha256:0628c636c1af6f1caadce203e45ca00a608aab7885b637a365323d80b48aba59
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.3 KB |
sha256:d06e6e2bfeda87ec53da6aa7c5c6387e31937d381f86a6e054e4633701209ab3
|
|
|
test-results-windows-latest-key.ui
|
54.5 KB |
sha256:60b79529937f4d7510832834e97a5a5301e329789b8cb5f9939ee3d992b9df2a
|
|
|
test-results-windows-latest-key.util
|
74.5 KB |
sha256:7f0d2935281b0c603f457aedda004eb75e63635147a1c8beaa9e3339848eb279
|
|
|
test-results-windows-latest-keyext.caching
|
46.2 KB |
sha256:31e4afba736f19d1a759fc89236597c76436930c177b0a8b7a2151cc07f8d6a9
|
|
|
test-results-windows-latest-keyext.exploration
|
52.3 KB |
sha256:f256b29a440ac3324620e1d3583324a42d7e5c893625bea483930f720279a0f1
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
40 KB |
sha256:ccf3061539f2b081a32b34bdd950a52f1a42d27544cc3d20db6ef03198db6f5e
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.9 KB |
sha256:6cfcfbd6e4e0cde3ce373bff7ee9983d9cbd2b1a186fd33d615f410a14f2d813
|
|
|
test-results-windows-latest-keyext.slicing
|
51.9 KB |
sha256:e67d08b3d488dbb5dbac6b216a0ab4b739692bb12adb801c960d29ed04a50495
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
40 KB |
sha256:a1b226cf3e47252dfb59a54ab4e206ef656414bfa177afa48597589067aee32e
|
|