For discussion: KeY distribution as ZIP #3424
wadoontests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
33 errors
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
test-results-testProveRules
|
39.6 KB |
sha256:51fb3e570faceefc171b196b4703cd5c09726c81c386f771d639766467375762
|
|
|
test-results-testRunAllFunProofs
|
39.6 KB |
sha256:f7942ff5ee3f182ea7b55080c67430ff980e61df302bd3ea387e89c595ef32a5
|
|
|
test-results-testRunAllInfProofs
|
39.6 KB |
sha256:3e2cd1162edc26227cf227b78ec7eac2ed7d8aea34cafc2711082a5457132a8c
|
|
|
test-results-ubuntu-latest-key.core
|
39.6 KB |
sha256:5e59f58fd2a3ef8a0f141f381c9a14f1d3d4d86782f590c8d54d721d7e063da7
|
|
|
test-results-ubuntu-latest-key.core.example
|
39.6 KB |
sha256:10a5364be555f35e6cd8d57c6046976eb802bd06f52c24d635cdb575b92203ce
|
|
|
test-results-ubuntu-latest-key.core.rifl
|
39.6 KB |
sha256:8945628eeaef535906ac5f55fabc32ff6c1842bf234bf791b2f3e1046f2036ad
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
39.6 KB |
sha256:508ab9cff5243a8835c0e324b3166cd1185b5dd830e726a8a11a4d9fb09dd404
|
|
|
test-results-ubuntu-latest-key.ncore
|
39.6 KB |
sha256:d5e8c10516e51eee40d990294e99c58a56e8816464150a0c0450d1958678ae80
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.6 KB |
sha256:525776490fb0a1979ecc16eabacf785ef16aef8dea68feb469f7bac5d78264ba
|
|
|
test-results-ubuntu-latest-key.removegenerics
|
39.6 KB |
sha256:6061896e6e79bd5d7119b39ea7e52c3009cc7ed1a89459b70fb30654442c22d2
|
|
|
test-results-ubuntu-latest-key.ui
|
39.6 KB |
sha256:fad9905f8db44f7eb63aba2edbd154583e2a86ada356703fe1339c84f2305774
|
|
|
test-results-ubuntu-latest-key.util
|
39.6 KB |
sha256:f99f1b795b5d18ce78a3a54fd9f8f520a7f5a28ffc5c22d8c4493e5ebd3ae613
|
|
|
test-results-ubuntu-latest-keyext.caching
|
39.6 KB |
sha256:fdf5d3b788b1bcf1b5c01312127cf98d660d07c15f804b169f0c2ed8171639b5
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
39.6 KB |
sha256:508613ab846268ee8d5f571592b73138e2d4ea84bc6821ed4bc5b99ca05756ee
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
39.6 KB |
sha256:788fefdb62d4c767d6d5d4beb5ee36623a1cd882360dfdd8cd258a45963f0949
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
39.6 KB |
sha256:1141a9f9a84f37de22beb47ce75bffaf371f6a9a133b05bfcf145af3aa97114b
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
39.6 KB |
sha256:7d9f63dff9d06214ddfeb53bcb833c62fa6a9aff9a30d1fc8f761467bba616dd
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
39.6 KB |
sha256:4e3ec8b6a6be54b607f0c475bffa593f7c6064af8a075f96b9bdb8947f8e4e67
|
|
|
test-results-windows-latest-key.core
|
39.6 KB |
sha256:41cf8542e2c467d697988d4a80b8a5669d15daffa3b43ae1c27187b46dfc493f
|
|
|
test-results-windows-latest-key.core.example
|
39.6 KB |
sha256:549b7b824f299bcf66a04dd85c04fd61c9f76b3a98dcfbbabce7292e7c75ce20
|
|
|
test-results-windows-latest-key.core.rifl
|
39.6 KB |
sha256:8287bd1a19b9635361a99236dc33c55fffe0220122a9fdad29a3fa788b4240ac
|
|
|
test-results-windows-latest-key.core.testgen
|
39.6 KB |
sha256:4360b4218ae1a4731cbcc6fd08644a8b0da6f9f89b4b63466df81248ff8a7f4c
|
|
|
test-results-windows-latest-key.ncore
|
39.6 KB |
sha256:079df59a9af23cc14ea459dd95e00d711f6237619951b090e27124d307ee7a38
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.6 KB |
sha256:86aee3ec45b1de68c97be21a17ae8b29ee6ed8e0fbaabec1d6918498a9aa990e
|
|
|
test-results-windows-latest-key.removegenerics
|
39.6 KB |
sha256:6990623b98f27d29ba047f95abf6f02067c6e06b9bc219878462107425d33674
|
|
|
test-results-windows-latest-key.ui
|
39.5 KB |
sha256:45b9d55c95f9aa20d8750e242d994233d033f29f744f8986f41df583a6546f44
|
|
|
test-results-windows-latest-key.util
|
39.6 KB |
sha256:73f163771c7138a4460a2d63b4dfc0f9a2fc037c8ae89a816797959e36c89903
|
|
|
test-results-windows-latest-keyext.caching
|
39.6 KB |
sha256:55ec06864ddfb0eba32550df3bef9feee14a8fc994406c62da6e117786340fc7
|
|
|
test-results-windows-latest-keyext.exploration
|
39.6 KB |
sha256:a62f60c17fe472af3ec9b5fcf553c76198f1489eeeaa45f6b53e3d3faf86ec8b
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
39.6 KB |
sha256:57fabdae3eb0693de2981fb7c49fff1505a59cc38a95c43e34b261efbc247709
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
39.6 KB |
sha256:001fd9d592fd6368184bab518b766e9c69801d94bad7e8189dcda642484be06a
|
|
|
test-results-windows-latest-keyext.slicing
|
39.6 KB |
sha256:3df9f13871e8f591b518e4aeacaec108d9fad4a5a6d6fa467b69dbc070da0e6a
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
39.6 KB |
sha256:4b0f212eaf26a696d99aa3d0265c1ebc2397e4e41fa330fa9f34c344c40d9cf0
|
|