Handle Switch in Taclets w/o Transformer #4466
Drodttests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
28 errors and 3 warnings
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
test-results-testProveRules
|
41.5 KB |
sha256:9c8a5d49e88088b9854f21b4c4f08786c579a0a6011ac712f3f9d1e4409d3f77
|
|
|
test-results-testRunAllFunProofs
|
41.5 KB |
sha256:aa4826b780c4351c77c0b18e8318f39e1dcdda6a605990d0dd2d3cca093d9e7a
|
|
|
test-results-testRunAllInfProofs
|
41.5 KB |
sha256:de6a64636f2a83217335c27a8e9369af2ba3ea8760026f7e41ffdde19edd67e6
|
|
|
test-results-testRunAllWdProofs
|
41.5 KB |
sha256:ac2220ec705504ef86d40b18b9699d34ce94a02f2ae7bd0b52246c03c4c90324
|
|
|
test-results-ubuntu-latest-key.core
|
41.5 KB |
sha256:1d73dfe828b40968e67867cdfa6e82ac7e919abbd6ff0a9b6a64082da005c7dc
|
|
|
test-results-ubuntu-latest-key.core.example
|
41.5 KB |
sha256:0f989ee7398b3ffce550a58e200c6512925eb8322c50d3ae49af86956278c1db
|
|
|
test-results-ubuntu-latest-key.core.infflow
|
41.5 KB |
sha256:3aa1335adcb44e53f28e031a47410b2dbe52f70652d258a109f2f5f7a8dcc58c
|
|
|
test-results-ubuntu-latest-key.core.testgen
|
41.5 KB |
sha256:51415e4cad69d08f5ff3a4e07b446225f8cba64c005ebcb7e0e8e70d9d3ad4f5
|
|
|
test-results-ubuntu-latest-key.core.wd
|
41.5 KB |
sha256:45d1228db94b4a7d9507ae20198ba45a735d0d4229a005ae097cf102de6c8e98
|
|
|
test-results-ubuntu-latest-key.ncore
|
47.2 KB |
sha256:82255c0369ac2b37cd653f1dbff5c2a1d6eb248fc256789ae2cdd3fcf07a9f81
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
|
39.5 KB |
sha256:0dc6454bdd3f883d919e58b7d14217d6fe5cd5deb258dfb81f4f7a116b897b78
|
|
|
test-results-ubuntu-latest-key.ui
|
41.5 KB |
sha256:1cb3e61f11b88bf6f8ef04bf81b6037d2d7437e7606cf50799ac267689c8dc62
|
|
|
test-results-ubuntu-latest-key.util
|
74.5 KB |
sha256:ef8d17d164dfa20c7a34cb25f7c86668574aa49f0090482c1b00d85de126e9f3
|
|
|
test-results-ubuntu-latest-keyext.caching
|
41.5 KB |
sha256:8359f42b718289ecbf433fc42a60948771934618b663ee93fe2b1cc102ae9692
|
|
|
test-results-ubuntu-latest-keyext.exploration
|
41.5 KB |
sha256:3ed82443cc5a01d4c4db08b0586904fdf634bad5d226095d3d702a280688666a
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
|
41.5 KB |
sha256:e181fce60057d3c3cec8b5a0ef9687dd4e4fe34a8fa6672e8598ef32cadcb827
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
|
41.5 KB |
sha256:b38d05279f917202d253833129b9e2ffbd2d7ea34dc1dda17bdc1ee12561f30d
|
|
|
test-results-ubuntu-latest-keyext.slicing
|
41.5 KB |
sha256:1abfe1312f67704eb844039444a54980512d7c58cacd884389ff76f40b9caa29
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
|
41.5 KB |
sha256:348c665aa0d2e741bcdb009142c17ba41ad808b4a0698543f5918c4da7d91584
|
|
|
test-results-windows-latest-key.core
|
41.6 KB |
sha256:afc999a41d9ec3c183eef475563853050e4249e5dfaec4e9a36a1853d32a8c8b
|
|
|
test-results-windows-latest-key.core.example
|
41.6 KB |
sha256:53ef42756df6272f2e3b7be82e93a2c95358737b91ed8525b8b9671230aeeb5b
|
|
|
test-results-windows-latest-key.core.infflow
|
41.6 KB |
sha256:2c8311ad3b6eed2aab08c7b1e72dacfe0b0c8bf4c56cdde364b8fb3753edc060
|
|
|
test-results-windows-latest-key.core.testgen
|
41.6 KB |
sha256:b6ba118158a82fe51bf7a95f95d85b44cf57a567ca6a8662609d1981f6adfe25
|
|
|
test-results-windows-latest-key.core.wd
|
41.6 KB |
sha256:ae1ca00c7391f9a345571f492413ffb84429da7dbd9ac1a8ebe2d8f0eb88636d
|
|
|
test-results-windows-latest-key.ncore
|
47.3 KB |
sha256:62ac67544721c338936ebacd9a0c9b254e649c660d929ab205951301703bcf34
|
|
|
test-results-windows-latest-key.ncore.calculus
|
39.5 KB |
sha256:4c9a902a5f0c02f85c8bc8b602603e81a8b71570233f7fb9283266ea58e4881f
|
|
|
test-results-windows-latest-key.ui
|
41.6 KB |
sha256:fbb567f7d6d2c46e2886d5444c9187a8f417e3d745721c783cc7bb1928f63e67
|
|
|
test-results-windows-latest-key.util
|
74.8 KB |
sha256:90e5ae9368fc65864e372ff72111f83d13e567b41efb2f7531027d907fda488b
|
|
|
test-results-windows-latest-keyext.caching
|
41.6 KB |
sha256:08fb05dc7932ce8c33f9bd37153a015fce2a690d9e1740a37e1fe960822431fe
|
|
|
test-results-windows-latest-keyext.exploration
|
41.6 KB |
sha256:9d2df8b4914fff3e7f22dc06f943a781d6acd70095d32f89d420035316050f2f
|
|
|
test-results-windows-latest-keyext.isabelletranslation
|
41.6 KB |
sha256:fa1974b3df6b516b7a588e79dc186ce20c2b6d53b011f30bd1e0b4809c73f707
|
|
|
test-results-windows-latest-keyext.proofmanagement
|
41.6 KB |
sha256:a0f9a52f00ba8e3a3fdf25c98d8863b4d841d2cea72c114da0d1dcfe5c7deec9
|
|
|
test-results-windows-latest-keyext.slicing
|
41.6 KB |
sha256:6418b10c7f902e4d0ecee93768f573374177794a028da7227b7cd93e88100f7a
|
|
|
test-results-windows-latest-keyext.ui.testgen
|
41.6 KB |
sha256:bd3b20d6101d59ab45468c1394965513d39eaccc9f40c69113d14de44427356e
|
|