Skip to content

fix union/intersect involving enum case #10600

fix union/intersect involving enum case

fix union/intersect involving enum case #10600

Triggered via pull request March 29, 2025 10:16
Status Success
Total duration 4m 5s
Artifacts 128

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
572 KB
sha256:9f1973d137e929965bdcca0e5de659947bf144ab79f70ad455ac6051be6600f4
playground-cache Expired
496 KB
sha256:6f24c51437fe99ac06222ccc9c00d3520544885df3991b2d62ecda317631dd67
results-70300-1 Expired
9.22 KB
sha256:f1208839a6046948b0a60240755465f057cd06ef415c8d257f6fb9bb1e3b10ea
results-70300-10 Expired
8.46 KB
sha256:58988229620c45cd83d5dab765e22dcd65534e119bbf35cb5342eddda4cb3dba
results-70300-11 Expired
8.7 KB
sha256:fb0fdf8f1781c1a383dfbc1664bb15e1957f9ffed5d796f9ec86979f7dd7c20c
results-70300-12 Expired
8.72 KB
sha256:66a4e92512dd92fa68b65982dda6b0ce89e14836defd18f2af0f6cc51b143ebd
results-70300-13 Expired
9.08 KB
sha256:abc9d99602c3971b34e6c367cbe5d9bf0903021e61c805151edd54e4bb38d9ae
results-70300-14 Expired
10.1 KB
sha256:6dc0e256ba1d9b8575e3f33ce9eb5d6a4b970c54357567a3355c779722c2c63a
results-70300-15 Expired
9.63 KB
sha256:f0adbedacb3e7691009948bd5a1053bff1149f121a5bd6a668de0b208cfe9c3f
results-70300-16 Expired
7.62 KB
sha256:ed4d90616af9ae534118c79d6c5d80c5580ca3f4daf6eac42ffcf2ba87ab4205
results-70300-17 Expired
6.46 KB
sha256:2e877234d0df1fda420d923735532bbd003b3a7f885feb900f15c0ff2936ef3d
results-70300-18 Expired
8.1 KB
sha256:27d82b3eb8c2f1cdccbbd8430cd3428204419fbf4d2f9f4f1b274c5c66cbfd79
results-70300-2 Expired
8.72 KB
sha256:926575d6ac36c1fa052940dd61192a74feaeae1c097e62418cf667bac6e841e8
results-70300-3 Expired
12.5 KB
sha256:2a9518683d1f6c949700bd6d58db5f1d7dda418d07140111de971b6d89378d95
results-70300-4 Expired
7.24 KB
sha256:55e944a188a798ffe91cecc41ba51a0368a8535adfc922a420a5b4fc154d48ff
results-70300-5 Expired
7.49 KB
sha256:4373f21c18e8780689017e2123d5d32026e03b6cbda136211a04d1f15a5c7a7c
results-70300-6 Expired
8.63 KB
sha256:5b9e233285ff4fc2f45fd94a758c29a66f9cbad49f0ffaaef751f8181ee9084f
results-70300-7 Expired
7.87 KB
sha256:18c542133eb75383ef189a9d9138bcf0961b22412d9b19a989b758b614b646c2
results-70300-8 Expired
7.5 KB
sha256:d8b9069f8e1cb81e47db7aa3b3bafb81eedcaeec8bb8d23b415dc9329bb06313
results-70300-9 Expired
9.33 KB
sha256:823b3a5900ad0a56d3996a4ea476ace21d998d9143b7096d777b62c2a70b293c
results-70400-1 Expired
9.12 KB
sha256:a59bb281828bb49b99afab9fc77b0535d9366fa1e6f94da33d1e800bdd84651a
results-70400-10 Expired
8.46 KB
sha256:3121e954d3558ab8980adb2684202de576e2bdff80fa6269273e37ea823c2dce
results-70400-11 Expired
8.68 KB
sha256:d0c7b437004fb1ae34e08ccc0ab9bfeea37043cbdc9a351718180d65e0ad745f
results-70400-12 Expired
8.66 KB
sha256:a821ea76a097523969f1c1b0cd60f1d7c7c81fdade994cafb83c73118165301b
results-70400-13 Expired
9.09 KB
sha256:064383f07d5f55bd1c3bc27d6ca4780ec463eb4ab08af1fea15f24cb5934bd49
results-70400-14 Expired
10.1 KB
sha256:b37b8dd9b30c050dfe791c0fe820632b2fdd9047111495a1d542c425d22f4360
results-70400-15 Expired
9.63 KB
sha256:f4f80f4438dd593b7c7abd8e32634752b2ed9edb3f36e6ca682e7e65e45a8ccc
results-70400-16 Expired
7.62 KB
sha256:89de8224e5f4204cd97b10c01117634f3550523e1d36482c5da70c8f276458cb
results-70400-17 Expired
6.46 KB
sha256:4806c4d3fdf93dbf7414136b0f3134d1fd0c99845da7ab190d38baca24cc6e49
results-70400-18 Expired
8.1 KB
sha256:7e8aad5bcecd87505fbbbb1ecf49b45a3e4d00e3bf45ab09be4521088bdc2546
results-70400-2 Expired
8.57 KB
sha256:2bca58e55173300e162eb97cb7ef10e386b89f27c176024f6b300f3c31ed737b
results-70400-3 Expired
12.4 KB
sha256:a5e913d1da2b969dfe87a2e366df98ebd7610a8c3b15547ec73fb1cc561b998f
results-70400-4 Expired
7.24 KB
sha256:515bd26024d82c2ce8e439059b451474d69832dbc4ca5fab20b4222cb793f86e
results-70400-5 Expired
7.49 KB
sha256:092f888195446b0e070a85d67cbfed5b71e5db0e081068f0869419bee7cb0656
results-70400-6 Expired
8.63 KB
sha256:889f3dd5b7b14c97d5f31f5e4e136bde895460fbb77e18334cd094aaff86fd20
results-70400-7 Expired
7.79 KB
sha256:5b0de8f25f2eee0b8cf81260e63047d6d9cc062f412794ffd7e233c92ee1f517
results-70400-8 Expired
7.46 KB
sha256:4fb07c5849a797aa47fe8a20d9c60712307b3133215ecfd4fe807ff6d71e7bed
results-70400-9 Expired
9.34 KB
sha256:ac9c0b3de184a1999a889fd43846ea66d6150b52110c4f7ce1963ff6af0817dd
results-80000-1 Expired
7.14 KB
sha256:c031b1c8f9a4cfb3ce05744046b2b94bb872094af4d64653040113c5d34ae427
results-80000-10 Expired
7.79 KB
sha256:8ec8176ce3b7c540eb6c3dd7f0250f4a7d921ec14857767a6d1ecbb50cd2f9b6
results-80000-11 Expired
7.66 KB
sha256:98d7890b4e7e7328f1f1a2b899651fa05c2bcc70dbae6861fd0c80dde02bb831
results-80000-12 Expired
7.75 KB
sha256:c2fd03f8e81e114d44a2b08b5352fe744732508b818eef394fc82e002cceb0df
results-80000-13 Expired
7.72 KB
sha256:9ee54e749553a4e3bbc7f09ee26fbf9294ba1d2e27f9d12548c2f04e211b52b5
results-80000-14 Expired
7.33 KB
sha256:f90cedaef8b435a57e34e046650708c0e6a5a6e235c8207cb3dfdfa0ef3332bf
results-80000-15 Expired
8.2 KB
sha256:1cdcdf327b4a03d4dd6a12cdb64fa90ad5ac6d09e1f2a9a2df2b05b009a17977
results-80000-16 Expired
7.01 KB
sha256:376ba95937c0476f62bf057bf281da98acbd2019a4c190a10921f58764db6c5d
results-80000-17 Expired
6.4 KB
sha256:258ee0d4e9154c25512a2dfbb24308919a9a2daee038d4235c86339c87b321e5
results-80000-18 Expired
7.27 KB
sha256:f015223a68cf7b148b0c999b4f3079b62ddd677da367d314833292815bed3b87
results-80000-2 Expired
7.63 KB
sha256:a5cfe9c62a06a583daa277d9e28eef2d76bc03384a55261d639baaaaca5bbc08
results-80000-3 Expired
11.4 KB
sha256:626e3cbe0cf2cacb0e23b1e09c1beee6149a7375486817b5076bb104a2daae64
results-80000-4 Expired
6.62 KB
sha256:b6943da658daa7b3fbfc2dd1412b57084f72d08ed1e8dca4e0d64d06e4f7fbcf
results-80000-5 Expired
6.88 KB
sha256:619dd643b2eee6f7c907f03949910f219dc7e3649f0c10fb3de8ac881238290f
results-80000-6 Expired
7.91 KB
sha256:96c6133fb3e1b8933fc9834c667bd60288125a4a7cfeced9f99d1286363eb63d
results-80000-7 Expired
7.34 KB
sha256:a5793f8295e945a107968749efcffc34edd0047c5e74151a899f5b03a02a078c
results-80000-8 Expired
6.88 KB
sha256:dd91395e4bcb5c451edb54a73a4e163045f647ef437f7781d35be4cfa2cbb4a9
results-80000-9 Expired
7.4 KB
sha256:8563b52a7fabe1890db7f618c58de2d3593f542d305219601490055766e39ff4
results-80100-1 Expired
7.03 KB
sha256:c007abfc0657d2fb60bafb3c25f43bad8eaef37995e59b75798bc84b2ed86033
results-80100-10 Expired
8.02 KB
sha256:29122187b4bd47aebfe0e2014ee7c7758b21fc734e47950412598a40ca4f72ed
results-80100-11 Expired
7.85 KB
sha256:55efeb725add6af50d52dddcda9e4c96dd77ecc7a1e4851ef8fe4557d471e36e
results-80100-12 Expired
7.89 KB
sha256:22111bc28759e2f776cca5e79e1ed362c58f7ad2b730b5b94a8f5e2f9e4d6d89
results-80100-13 Expired
7.74 KB
sha256:29a721eee6855963b6e19363b3ef2867a949fcdd0ace2f1acec7f5deb0b5aa5a
results-80100-14 Expired
7.36 KB
sha256:a877a667e81a5ddc83d8854f05218b03cb25f781691e77b1ef48def26bc7277e
results-80100-15 Expired
8.09 KB
sha256:45eae8e8312d659c34e0cf754dcc870d16a406c1e959720ef4f59dbdaecd2cbc
results-80100-16 Expired
7.01 KB
sha256:0fdd17c5e51ddc7a0c942f0e4ddfce49069e3b03d3435478b3bf71a69c1e6aea
results-80100-17 Expired
6.4 KB
sha256:2cc6b929b7c1fc859b981c464994442d917e287de212de411bf2a396c5f6f06f
results-80100-18 Expired
7.35 KB
sha256:1ed68f6573d06beaaa3052e325ee13bffa3bb33cf3956b4ab67114fad8a5fa92
results-80100-2 Expired
7.68 KB
sha256:3dd1c3354d5ae08e80f2747ac4eab15d856142470fae3dccced30993e816e74e
results-80100-3 Expired
11.4 KB
sha256:e4f963d2bc8194c911e742c9439390805ac5bcbf77b171a411230f12588bf233
results-80100-4 Expired
6.48 KB
sha256:7c66e740bd6bab84839809715168602aa023c0ef4053c5ba4ad8d3dc799e4746
results-80100-5 Expired
7.16 KB
sha256:eadbf14b4338fa5402ba8a61f1b16bbc94b8a8313f8b48b458ff9368f72a48f5
results-80100-6 Expired
7.76 KB
sha256:06d21b9704bfdd7182dff7a75b6554f851b7154ae40d0c10553af2da37efe3d0
results-80100-7 Expired
7.23 KB
sha256:f755977daef230054dc0ca99d903c29d307bb71b1e179cfb1a6b16759faba7f5
results-80100-8 Expired
6.92 KB
sha256:8e73a96cc1e9dbff38eaf2507d39ccc90e53e6d13d6c6781e270e05207ea3467
results-80100-9 Expired
8.19 KB
sha256:5659ccf5626f48e18048ec5846c73c8fd53388c273d257379acc4f02db275519
results-80200-1 Expired
6.99 KB
sha256:1317d4a8c4fe03495c59286444556a92bb098bc863c9969f0a70cd15f3602370
results-80200-10 Expired
7.93 KB
sha256:43ed95f92c221c6fb2f1cbcb7f4c519f67fcaa276a8a8544578604cf817612cd
results-80200-11 Expired
7.67 KB
sha256:ad368bab3b86fab9fc2612db888f09c16547287f110b3a93cdb60a0a66f44241
results-80200-12 Expired
7.92 KB
sha256:175c1fb7292cffb1c0e084cd4bb34d4c7002f8950e594441f766160b4ab45dac
results-80200-13 Expired
7.78 KB
sha256:39127fe7b943409bd84d956fbe8524f82fb81d34df8696712f54ea5289589f42
results-80200-14 Expired
7.36 KB
sha256:acd8e82af93fa82bd0f73c7334f206b64b3b9792fd7365a14f8d3f68d9796e25
results-80200-15 Expired
8.09 KB
sha256:c5b63730a68388bceb99d366bf81f7a04dd20ba33eeb5fbbe1eabd0821db40e7
results-80200-16 Expired
7.01 KB
sha256:38814bb76331efdb1cdaaca4e097e8211497dbb57e244f757e69fa6fd6d61c89
results-80200-17 Expired
6.4 KB
sha256:bc480a7460f218aa5e78a94fc85acd6c075ff6a0beb25f295d3c5d3638eb33cf
results-80200-18 Expired
7.31 KB
sha256:fce7ca6a1f190213a5114dc8241c391d0d04de1baf90bbfcd2a772ac341a915b
results-80200-2 Expired
7.68 KB
sha256:bb8267097dc90d6472b5c88b1a096b2d6640e98b422ef415f3ec281633a71e96
results-80200-3 Expired
11.4 KB
sha256:7bb6b8e4af72f6c1e18aeda137b25c4cd67e0e140ba5e9ec6cce98d451843d40
results-80200-4 Expired
6.51 KB
sha256:01796f1009756138db699bc676e79562895a8da4aa195d76efe7b127782961f1
results-80200-5 Expired
7.1 KB
sha256:ff9edfdb2415327c4f10b301db31f42b023cb7cb66cf8517d7eb54f41f0f5ab2
results-80200-6 Expired
7.79 KB
sha256:21ba82103cc98bac7f164eefc048baade571e2e18f15d2ee6f20837b325bec4e
results-80200-7 Expired
7.29 KB
sha256:4ad94fd82ce32266a5c2cdcf450f20efb16b6a6c4a35bf473939cb30a1d3f230
results-80200-8 Expired
6.83 KB
sha256:d07ee207b56691a47ca844b15cb58cddae7299659e091fb89b536fced47dba7b
results-80200-9 Expired
7.83 KB
sha256:def0237984e4e4804c6592c0f7bf4e45e05f3d0288c317d11176b6ed4d37bfbd
results-80300-1 Expired
6.9 KB
sha256:f602f476832a72549702dbe0f3e53eb0552d81f75dd4a3d9db4d1e8880884f37
results-80300-10 Expired
7.84 KB
sha256:ce0b0eaa1440f4754f48db9dd0dd6b56f229bc896c8604015bce4138da393d1a
results-80300-11 Expired
7.67 KB
sha256:ad23063fb5eede181688d2e637afe7ef59a7a95c6ecefa3be0f0d860f0e070a6
results-80300-12 Expired
7.92 KB
sha256:1d443deae022144c3528568fbb794764d83f272e3fc17b7fabe1f2dcfb822f0b
results-80300-13 Expired
7.64 KB
sha256:cea09d102ca8d4998420b8fabed0fe94b4ea70303c0741b61d4dad0310f81979
results-80300-14 Expired
7.38 KB
sha256:34191b36e1468519efe35906339722dad42157cec2a09c07eae16de7134b00b7
results-80300-15 Expired
8.09 KB
sha256:a425d89d82e47bb840de1c16f4864c7fba128191342c067e30668c18cc706215
results-80300-16 Expired
7.01 KB
sha256:74215e9291c9b05d429fe9e2d3dce8458bf8a8a96baecc7c97ceb0a35892ab62
results-80300-17 Expired
6.4 KB
sha256:a0aded42ca4372c1a10cffd6c40a74809f519b3083fc40511499e66f8f35040e
results-80300-18 Expired
7.24 KB
sha256:a86539767fe03678d8ea5396333efca358b3563072bf595f3fcb088740633223
results-80300-2 Expired
7.6 KB
sha256:9670c1df0ee4b0acd98f1174aebc5b0f2ea974ec28ad6a4020a50b61de0bc9e4
results-80300-3 Expired
11.4 KB
sha256:9952dd9ea841faf687409f76a376907636bc36139224c7637a1b70c04a463cf1
results-80300-4 Expired
6.51 KB
sha256:bd3f2be1191d6f7baa28ee2ca6ad10842c4909784765a6f8371d4fd6190ee5db
results-80300-5 Expired
7.1 KB
sha256:36bd4bbb62f9a2f67dc18823e4506288fd4c108bd5b485e326374896f8db0db1
results-80300-6 Expired
7.79 KB
sha256:90355ef28e232e962792e81554063d64a9edb498a9f7fa1fbcdad884bf59e735
results-80300-7 Expired
7.29 KB
sha256:c1733353d51b6f65e50ed69df88468ef113ab7e39b337ef965f838348f705bd9
results-80300-8 Expired
6.83 KB
sha256:cbf96e9900758b4ac2cb6476724c6303b8aed100c46b4d968cd072056fd1191a
results-80300-9 Expired
7.83 KB
sha256:5d455df78ab1cbbf7ce23448ff2b1023563d6cc47e71fcb56cdf93f36b076214
results-80400-1 Expired
6.78 KB
sha256:d49e509e2da03b0d785bb41cf5601bb66f8a75f0a82f5e60f81b5709bcb63114
results-80400-10 Expired
7.84 KB
sha256:d3d0f6cc1a6b1356e8c868a904b4f5704dba221926a4ecb74dd5e1b97fbae6e8
results-80400-11 Expired
7.67 KB
sha256:9161c40235f62fbbde4a220494f00bdcfa65ec2fcbaf43c75d373f1895190d2e
results-80400-12 Expired
7.88 KB
sha256:341fd86ca947194ed558764cb839335748ff5f770be4063981f9fc7d96e3080b
results-80400-13 Expired
7.63 KB
sha256:cb43d1709161c206416ee8245cd34dfeec5f5905da2d515a398058c5bd84f072
results-80400-14 Expired
7.38 KB
sha256:487c63642dd4e6ef140cdca3bce166a7b4a93d51cf15858f3412c52b05b3df5b
results-80400-15 Expired
8.18 KB
sha256:c3ab7becdd5ba94dc1a4f245c3198a164f1954f5b22dc533380342290cab56be
results-80400-16 Expired
7.01 KB
sha256:334c13b8dae2c0c99e0b83655010b7f2990bf614f8237db977b7783d5a9cd52b
results-80400-17 Expired
6.4 KB
sha256:b5d10d470b2d4deff0d1575d69d401ef9b8afe5bbcdc945bbdae13908e21e996
results-80400-18 Expired
7.19 KB
sha256:3c11b9c3b599caf274e198497f545f28f5a488612b63b6dc05670f55850d9821
results-80400-2 Expired
7.6 KB
sha256:82b739d6fb649f47b86cd19160fa3bd9eaf339a0ab46e194f7b0d72d1ec02f8f
results-80400-3 Expired
11.4 KB
sha256:7b2da5c090e421df7af507c561fe829c4b08431f41705d2a7c3bd8784e42352f
results-80400-4 Expired
6.58 KB
sha256:da5671e3d59d31c3c1e45ef29d10be839ee92f9e1e41044e1d9269a9668b2510
results-80400-5 Expired
7.1 KB
sha256:f8053c06e9bd7f67711ee69e3aef0a68ec087704908ec6e0192783e9671ede4a
results-80400-6 Expired
7.79 KB
sha256:f8bda1bdfeabfc87973b5cfa413424212419da183ca83daa5389cf2dd4782d04
results-80400-7 Expired
7.29 KB
sha256:94d416e1e004f89affb96f447da65c681dde1697f514a3ac14be2283f64d13ec
results-80400-8 Expired
6.77 KB
sha256:f324d0255c80cdff3833e23a3cb8b5a4b5c8df8e88ee2bbf944596746d27e2b4
results-80400-9 Expired
7.83 KB
sha256:ed1dd337a93035030d921e61c7fc675ac7a91a87e6490baf74d441dddfcd3f53