Skip to content

fix union/intersect involving enum case #10582

fix union/intersect involving enum case

fix union/intersect involving enum case #10582

Triggered via pull request March 28, 2025 13:15
Status Success
Total duration 4m 0s
Artifacts 128

issue-bot.yml

on: pull_request
Download data
14s
Download data
Matrix: Analyse
Evaluate results
13s
Evaluate results
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
571 KB
sha256:9e03d0263858801f2c295ec824d414b94d6097ee24ab69761a739a706aae9e52
playground-cache Expired
495 KB
sha256:9148bcf1d46a007b9583b03906b6146a578b27beeeeaabec87f42ec04fb567bb
results-70300-1 Expired
9.22 KB
sha256:59ed352abc92f94594b0294e05635e6319ce7c755e373466a836f25d048e491e
results-70300-10 Expired
8.46 KB
sha256:7bcbc106b069d99921cdb0084426604168a81dcdd8d8c35b4e00b77b5223772e
results-70300-11 Expired
8.7 KB
sha256:f37207563e9f488b77f991c7c226446ae487b50dd7126193990a5ec49cea08f8
results-70300-12 Expired
8.72 KB
sha256:f51ec50645cc76e000a8c61832913bdb7628ba31e748872f626e945115a4454a
results-70300-13 Expired
9.08 KB
sha256:9ee07c709ffbd781896eabd9eada107c0a2be48ff5dbf00299246aa8bb33dfc5
results-70300-14 Expired
10.1 KB
sha256:4cf707d8ec9a7e90be819e269f5ef9f564468892a5fcc4b65cd7463de5ef3db4
results-70300-15 Expired
9.63 KB
sha256:09da25de4c61f2ea6bba35462889803cd1d016a2c94cd75d04dc7b91802f4382
results-70300-16 Expired
7.62 KB
sha256:8bb92d79ce9e78dab830b2840392c64bdbabe4d514ae02c7b86f8812b00c5c34
results-70300-17 Expired
6.46 KB
sha256:1622930d0363b3a88a04f595d45417ae30358aa8af08a2296718638d6be2ca4f
results-70300-18 Expired
8.04 KB
sha256:cf0df051bf7e59ed597e8280cc6607e2e634043c14175261c30d56276b214004
results-70300-2 Expired
8.72 KB
sha256:9225170d70fdf24add9e27f300e6b28d8451f490adc3f4d7476f2dde5e13fa2a
results-70300-3 Expired
12.5 KB
sha256:ba0222476bd234a22605cabe7578eca9216a5266e64588005d70f2fd9ae7e815
results-70300-4 Expired
7.24 KB
sha256:ad8a510f0dfb4f2414122e16b853219a8dccddc368194d126c8dd24b2b2761ef
results-70300-5 Expired
7.49 KB
sha256:b3d4cfb2e02a1e14007c7689e5f73d7ed341236a89aceea1594cb0c9b287f7ba
results-70300-6 Expired
8.6 KB
sha256:4c183e3d1b768d5ba37632f151de275030e25ca3e9faafdcb9702fb497560a93
results-70300-7 Expired
7.87 KB
sha256:8c6e5c27d89cf4025ddd6fa15e4cc6e980a8ac29a41595a3cb9eaec9a1a9622f
results-70300-8 Expired
7.5 KB
sha256:4958302f1f8b0187ed420ae9ada6d3327907a8a78452355fd73bf76189475a90
results-70300-9 Expired
9.33 KB
sha256:b8ba399918dac5399a6c3c7a2e08971b31436481c084cd821d295e188bfb481e
results-70400-1 Expired
9.12 KB
sha256:b2b9ac4cd135e396084e7b733f59094ab6a465019cdf22b88ef451253b21f2e6
results-70400-10 Expired
8.46 KB
sha256:aa12f5040a398a7ed88aae59c364e3f0f73b7381ad04a133d2b4303f3158fecf
results-70400-11 Expired
8.68 KB
sha256:3b503b37cbb36e4db6478f95bd9184b06aa6d2b56b759f4c1b80b52a0dcbf6b2
results-70400-12 Expired
8.66 KB
sha256:67ad8e39519bdf55d74064be688c787e09b16a19fd31cdf0a86cd1174f8b1ad0
results-70400-13 Expired
9.09 KB
sha256:a7f2cf638c43288ccabb5077599339752b429fb7913a3f37b75cd7791de5a0a4
results-70400-14 Expired
10.1 KB
sha256:f40714b3c66fbb95e8160802de86d77c3471aa06c4631b97cff5d9ad50cd06ca
results-70400-15 Expired
9.63 KB
sha256:e2ab4f6d3b0cc6a3b49f623f29b36b63d310a37e680e9ffb348d02bca3d4a24a
results-70400-16 Expired
7.62 KB
sha256:6e88ccc176a71558ddfe16e98e3738913bf8bc14c62c4c1898f263bb3731d932
results-70400-17 Expired
6.46 KB
sha256:3a565a9a4c38d6b1c036b4117c993d604a78393d987b5effbdf15317dbc1498c
results-70400-18 Expired
8.04 KB
sha256:f6507a5166990c24520603c0ecc47d0f4e8895e0f9eec62c0932cc42aff73c37
results-70400-2 Expired
8.57 KB
sha256:515cabb93a53366edd2973e1edb92f5f7261e046b3556337001b3de812bde4da
results-70400-3 Expired
12.4 KB
sha256:03e2431a498cc26280e4a850242401759cffb59a17a213e331cc1d74c9080dbc
results-70400-4 Expired
7.24 KB
sha256:e6a2afcc0368c3125ce25497c3748d5432a89520e421445b30f8c7c8118c3bce
results-70400-5 Expired
7.49 KB
sha256:b1d9baa3abe13986ab885df5c4ef4bf24c269f6d1fbc27f7305322c240d784d2
results-70400-6 Expired
8.6 KB
sha256:882fd1f035df906eb439fce73ff3bb8e42472d45ccb06964859e7b4c8a41e160
results-70400-7 Expired
7.79 KB
sha256:1ef1a352acd5b0415bfc0ab26d67bc0af68e6ed1d7d115833f5784c0b84e7ee1
results-70400-8 Expired
7.46 KB
sha256:09dec4e212423bb07e8133ee8aba614b972aa83eca6e89eca7ce6d96dbb698ec
results-70400-9 Expired
9.34 KB
sha256:56bfae3c60a4e363d981e6fe67894931c907e32220325059d39f112b8618fc20
results-80000-1 Expired
7.14 KB
sha256:3f6a6c1e5d4e0bd589bd486f623c863df00759f526575e91a2a5fd6f7a7cee35
results-80000-10 Expired
7.79 KB
sha256:1e6e303a987938d697c7da710325a95a0c16d94affdb3f1da29470ee14672c0f
results-80000-11 Expired
7.66 KB
sha256:f7f81e6933050f42681a451e4312a0b727e3c4bd2b7a1f468eb7b5514e3c4f95
results-80000-12 Expired
7.75 KB
sha256:facb7226b6c81a4ace0b205d42b204bd8a6cb4ab8501be883d8b64e1fa67a90a
results-80000-13 Expired
7.72 KB
sha256:0cf848038bd118830475a7840abf0a2a21f363ca029f327e515781ab8b26d086
results-80000-14 Expired
7.33 KB
sha256:16aeaa846d03dd45b1309cc937c22d56270df5211bb0372532f252c1abfbdee4
results-80000-15 Expired
8.2 KB
sha256:82b997b3dad0d6f833db644f76261e7b09f81503f987e44bcc351fe996622fc8
results-80000-16 Expired
7.01 KB
sha256:8b7a12581ecc00ba56f647ed08a2c16fe9faad58ce90b7e7772e3773e6fba477
results-80000-17 Expired
6.4 KB
sha256:30b0f1308772148e9f27c9f0e8d0245fa39427b191ddfeb38853776976625a3b
results-80000-18 Expired
7.24 KB
sha256:ff716f0732b513a0dd149283f05b0e25894e133e5fbfcc3f5c121d5b420e3079
results-80000-2 Expired
7.63 KB
sha256:3476d33ff95b85ca74c2d7a70fe1b65d26b51216e4069cb5f9ea83e5b7b15694
results-80000-3 Expired
11.4 KB
sha256:14838619bd74e300ef75f8ea36036ac18870cfac6f19158b67a19c7b128e50e4
results-80000-4 Expired
6.62 KB
sha256:a01ed51bbaaf82f07ad244c18b9d656746bd8c08dc6520e11a4fa9d0c30cfe15
results-80000-5 Expired
6.88 KB
sha256:09a7b94ba39326c15c8b7605041b1cfff420c244b424660f0efe89d3e77f8b92
results-80000-6 Expired
7.89 KB
sha256:7eee2dcba1a6899605a706e24cf5f355c0ff4de8e4799315ef25c07856d5add9
results-80000-7 Expired
7.34 KB
sha256:1686415a1b679456460a52d9845987f24c09cae5f7753c0a6733d3dc44f8c0e9
results-80000-8 Expired
6.88 KB
sha256:e7813036b18a576b63968521a9064f386b2c97a53f9f29b25f8dc76c5677a067
results-80000-9 Expired
7.4 KB
sha256:29632d43c3e11f2dd339eba986ae31d6ec7e7dea4f11dd2203ba9198ce6bc43a
results-80100-1 Expired
7.03 KB
sha256:b163adfcb06ce4742a0a2fce3dddf13805f21ba5e05dc050bb253cd55c2306ce
results-80100-10 Expired
8.02 KB
sha256:b15e205dc781f2e9fd82cd3a95f6cb60fcabcc04a64d2133520db930e3ac4174
results-80100-11 Expired
7.85 KB
sha256:dbbec9a50199fcdc7c189e6570d7f7c1fe15a12bdf87f4d563c570b71483be06
results-80100-12 Expired
7.89 KB
sha256:cea724d6f071c66d779fad1453598bfbf2612ccfd9104bed822b61283f0d075a
results-80100-13 Expired
7.74 KB
sha256:5b8f2345d724e86e520a7e6d7dc53bd46ee9b7ed7e8c442328ec82af15a755ca
results-80100-14 Expired
7.36 KB
sha256:67b836ba5c6badc9c1cf3245e785d46d236921039df1f73175a907923ddfad66
results-80100-15 Expired
8.09 KB
sha256:e07985a4003f806e393339cd3bd536e2410ab09fb591c7b18a0bfbaece0be79e
results-80100-16 Expired
7.01 KB
sha256:02d0609e2d8f8fa76ee767fc2b54935d25c6226131ec7694a2af22880054f282
results-80100-17 Expired
6.4 KB
sha256:6947e732ac8d9ac893c7738ace1d5fe69621f756c50ef66dc4e78bc6be3ef1ab
results-80100-18 Expired
7.33 KB
sha256:5eae3e4dd42a240d1c3880ce719fdefe2fdefa04ebae03a677c4fef4baa4355c
results-80100-2 Expired
7.68 KB
sha256:a77a2af6a1a68ae2813bf224162761cbc99b32c1597b19a0e4f7e074c5c039da
results-80100-3 Expired
11.4 KB
sha256:eacb982ce7080e175f0707a6d4065e4ad04735512b64d613a36e860fe859831b
results-80100-4 Expired
6.48 KB
sha256:b235d4158b4be746e54233dc4caed838525f1abebc426cf204fd3c7502e19092
results-80100-5 Expired
7.16 KB
sha256:2b973500ea193ef39a7231a0dbe62fd1bc673c65372baca74a09e555f5887f1b
results-80100-6 Expired
7.74 KB
sha256:83ea7d2a76a59ac717719604d30e08fad8a08ae3de52c27cda67ab7de944aca7
results-80100-7 Expired
7.23 KB
sha256:fd024edd058cce8b7beea46d381fdbe8808f0a70f4495e178d4bda68ffa1ee9d
results-80100-8 Expired
6.92 KB
sha256:f2dda9b675850adbe005b1d0edd1686d03100c5e75a7241efb5a651aced39b33
results-80100-9 Expired
8.19 KB
sha256:09d7b44b68e579f8298fe0901dc0519e75a7061b9998a01f47615931d7b24dc5
results-80200-1 Expired
6.99 KB
sha256:8ec6c010bc471f03d30bd7921509204a2455bd3c83e470d72fd5ed187e12dceb
results-80200-10 Expired
7.93 KB
sha256:840d34d1f716b77c828972411fd9b7d91bf25521eec986be87276f5beccce12a
results-80200-11 Expired
7.67 KB
sha256:ea38a54216896a0dc265c6f3ea6eb2c5d835c239076bd6667c7f492b5c411a3b
results-80200-12 Expired
7.92 KB
sha256:540b10ac6f1fd3e32db112e678d8cd3fa393b30dad34f6e483bee8e1a69f6ed7
results-80200-13 Expired
7.78 KB
sha256:956df87bb383ab213f71100d58737b342c9fafd61b9a6a12fd757daca60a63f5
results-80200-14 Expired
7.36 KB
sha256:1d6340fadf5107132354a337a639184487ecbd00278a90143ed9d2d91213ea62
results-80200-15 Expired
8.09 KB
sha256:1b0b951e42389723a3e0c6fd8acf052b3b76399489d05f83fac72d51e80e88be
results-80200-16 Expired
7.01 KB
sha256:e217c6a67b2fbd3188d2375d6e62b7e41bcf6e6ba9d5983c356665694c15ba31
results-80200-17 Expired
6.4 KB
sha256:a474aa6b045ca2cd9de237fabf63486bd9a999902e8c24d3b1e9a8ddd35d45f9
results-80200-18 Expired
7.29 KB
sha256:0676313ac6f9b80aba89525b94a85e795563a6378ee9b50305273b06fddea57d
results-80200-2 Expired
7.68 KB
sha256:fdc1e18f48592404f8a63bc54978dc6c8e99e59401d72a056b94fa60637e23e1
results-80200-3 Expired
11.4 KB
sha256:94b07afd2e63a228c5e673ccca839f3a13cd177f2d2005bca5b448cd38eb10ea
results-80200-4 Expired
6.51 KB
sha256:b57edbb172bd3f0c2eafc2957213df84f879ecf0ccb7d1c8d2afed94da896dbc
results-80200-5 Expired
7.1 KB
sha256:a75f3dc8dba6b9d47469aeefc68f9365ee05fe283f927e34106e292eb3d8def9
results-80200-6 Expired
7.77 KB
sha256:ddc2fb2fecac68d53c8873cc003e5b9066fd1adfe233d08973afc88811ea9b43
results-80200-7 Expired
7.29 KB
sha256:dfcd21ed7deecbf590276e6a0958b9c0c09bef61aa1919383eee00b5a378c7da
results-80200-8 Expired
6.83 KB
sha256:65eb846971869b4a150b981d36fe9d1ec1626ae0b6c9142e1cfb8a69ed4a3dab
results-80200-9 Expired
7.83 KB
sha256:c009166642e863fb4665e767625211e4e804abe57c3c04e62f8cc0f1b7584e82
results-80300-1 Expired
6.9 KB
sha256:85a6491b6ea6b09b2ca493c5b0ac30712d9777189712c82afd354b490570f0f7
results-80300-10 Expired
7.84 KB
sha256:03d30aa515aea0042b56a74589a564fcda3fbd18f57c15db58bf88afe4e76d7f
results-80300-11 Expired
7.67 KB
sha256:116dcec17fcad7102aae2e2e7eb8249830070c23a1f0ef0b71b799b1f23d07ba
results-80300-12 Expired
7.92 KB
sha256:54cd33113181656182df5321914978db5dde34b03fa27225492842a5019a901d
results-80300-13 Expired
7.64 KB
sha256:611bbd0c5efa519c509dbeeaa6b5805245053ff7103c0e07697625fea2babbff
results-80300-14 Expired
7.38 KB
sha256:16e82bb6a5445691fd6416759814bc0f406eeb49ac500b790eb25144fb559797
results-80300-15 Expired
8.09 KB
sha256:8331cd4271415c301da60217f22fc2003c48d241f47bc086dc6a57319169166f
results-80300-16 Expired
7.01 KB
sha256:5552bf0380c60ee45e8087ab092470dc06d166b8e6657b6483db10ba2cf65f52
results-80300-17 Expired
6.4 KB
sha256:9c9193cd3c31456cb5cf3454a7542d44572315599e10c0667a8f9bca7061e708
results-80300-18 Expired
7.21 KB
sha256:13dcaf892ab40b7e54510a505404d7619e083bb92d8e59dc2985081ebb77ac9c
results-80300-2 Expired
7.6 KB
sha256:74af6220a22e66629326f1d79fcccc92c50b75498ead29e7474468b0b850453f
results-80300-3 Expired
11.4 KB
sha256:2979074a82cc6b733f83af77d5204b1a596e67392b715e1227a073662e952a21
results-80300-4 Expired
6.51 KB
sha256:f14203ddedad9cf8eeae3df879d584c3baaaf94ecf16e9d5a3200a33717fc289
results-80300-5 Expired
7.1 KB
sha256:8461ab7247fa690b326d467bd27930b10ec5b058b9adddb60912c0335ba3fcbf
results-80300-6 Expired
7.77 KB
sha256:a1f7ae2a01bdc9a8fe83a6bdde896ee25ec031ce39b9a76fa695b66fab1c9f91
results-80300-7 Expired
7.29 KB
sha256:b01b0aa9543ac89bb8bb0373490b74727beb6a3d38d48c32c24d78bed0a20be2
results-80300-8 Expired
6.83 KB
sha256:ab60e3335bb3fd318795f9c1406717b9c5f2dbea1da0167e5ac6929182c09379
results-80300-9 Expired
7.83 KB
sha256:495c44ee1c7fd8cb3d34ba6c5a4f383d0f2f617ff313b6a9384d0b50778cac3d
results-80400-1 Expired
6.78 KB
sha256:06fb556444867c9bb841c2f7ec3c7d65df2639c6ced73cf52e90f23be3ac2b6f
results-80400-10 Expired
7.84 KB
sha256:c6835354de7cccea54d42ff750936f778341bd8d75c5d3e7f15bb7b26e59d127
results-80400-11 Expired
7.67 KB
sha256:1170fb18d2ca77cdc255c55e4228817400b2fbcdd7b529b31d34ba7e5724388d
results-80400-12 Expired
7.88 KB
sha256:f8bd941e0ebd8e9ad64af6603c283e9c19ff09577b3a43ba34eb32ff1de4c38d
results-80400-13 Expired
7.63 KB
sha256:fd22a4fabd07a95bdffa26a5e2af084bb20e4428f5308b28b1d7a2752796d724
results-80400-14 Expired
7.38 KB
sha256:7cf15276ede65bba0c2a3e5b9feabb7b53c24247241c36ce9c7b3bfc77f0e373
results-80400-15 Expired
8.18 KB
sha256:4533a39d41f805147c76a5b6a89b77903c9293d832a1f74e760b2fee4dead97b
results-80400-16 Expired
7.01 KB
sha256:eca7257d6c29b7f6d779874b90cc2f5e313c8ff99199e0dab99e8ecb4479b96f
results-80400-17 Expired
6.4 KB
sha256:d401326b3f76adcf4bf704f913d92cf23fe48087c16b04f2340891a81f26f39d
results-80400-18 Expired
7.17 KB
sha256:5a02a9e529623b21de09f96702ce6d4c75e3dcff5fdb66f69a50d8cc5e60b27b
results-80400-2 Expired
7.6 KB
sha256:35d44cff03ff00323a324bff3d181cd2f3f2a03cd917e6ab3cce781188fb6ef5
results-80400-3 Expired
11.4 KB
sha256:6d11d99f80301a66f8961d1d60e1d931d696556799bbe45d9bbd59229aa2d978
results-80400-4 Expired
6.58 KB
sha256:2bac9e422962efe454c424cf54046e1e8217105eb6297d75b16c64ce3ee27a8f
results-80400-5 Expired
7.1 KB
sha256:4d3ae14d02a8120f62dc4897cdc29adb025fddb0952e3a7070bf5735a82fcd5f
results-80400-6 Expired
7.77 KB
sha256:2d3098074c7118e00b8d27b8c772b5c5de64510b9fc6f2aec153e49c780822e3
results-80400-7 Expired
7.29 KB
sha256:cc4458b81f765feb903879b1f27018e0ca1f67c7288122e278cfe3f643e52595
results-80400-8 Expired
6.77 KB
sha256:f96c1de6a5ccd134ef7a673a6953fe0c56e4c13c9b93fabe7beed819fe7ff2b1
results-80400-9 Expired
7.83 KB
sha256:342dc95fc22e9fc8b8dae3c84aae524d6796dff3a857bd73fc7278a7018c97a7