Skip to content

Fix union/intersect involving enum case #10610

Fix union/intersect involving enum case

Fix union/intersect involving enum case #10610

Triggered via push March 29, 2025 12:45
Status Success
Total duration 3m 51s
Artifacts 128

issue-bot.yml

on: push
Download data
18s
Download data
Matrix: Analyse
Evaluate results
15s
Evaluate results
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
572 KB
sha256:c225e75ec8648c367ea20744df5dc909f9bb2579b6bf822a62e0a2f98b48eec5
playground-cache Expired
496 KB
sha256:0d84602a8fa02b32efe067691b72e89ecb93fc77e3136d2c985bab4d9f53f3e8
results-70300-1 Expired
9.22 KB
sha256:4650dc7d30a779317ab8853db7a3a717e7c6944a8f7a5b4a5e982b8a79084e2f
results-70300-10 Expired
8.46 KB
sha256:2b6358b978e2d37d36787169694373dd2dbcc6b0782bccfb4230aa026b377da0
results-70300-11 Expired
8.7 KB
sha256:3d6694029f5e5abbde0a2957c602263179bff5f9283423423ac929cd928a4790
results-70300-12 Expired
8.72 KB
sha256:b519eccd603f9bc1fe373b6041966dcdb68f9fd5153d8f531f1ea146126937b6
results-70300-13 Expired
9.08 KB
sha256:fb3ad046498ad88ad96ed74ec46bf148cb50b195d92b75ad8f316f8b6fb6652a
results-70300-14 Expired
10.1 KB
sha256:bb01c6f2081e98a5c500401c23848ec59c9d56ac675a95b7ea23ebcc52b5f4b7
results-70300-15 Expired
9.63 KB
sha256:bb12f59b4913b2531c54c7b5f5c6afbade5d5594a010383f897f6d44be729606
results-70300-16 Expired
7.62 KB
sha256:420e6eec4adac4cbad0ff1a6d623ac82dc306fbc8c7a43468c7fd8248465cd75
results-70300-17 Expired
6.46 KB
sha256:38bbe4c8b7ca2ebf64790917b538fdc06d0a2cd8fcb5488d48e65deeabc6f1f8
results-70300-18 Expired
8.1 KB
sha256:5290cf1a5282f8e152289b7f4162d8cfc1749d8b0a65b1563253a266344d23f6
results-70300-2 Expired
8.72 KB
sha256:00b450c353920c879b2f114d0851ab7f0e4fa338d4cbf1746924d51241f285a3
results-70300-3 Expired
12.5 KB
sha256:27ef2a71c839646bced6ca76ae7abbb561a6ce7e40001e614180873b912bd830
results-70300-4 Expired
7.24 KB
sha256:0380de40d744ea7ecfee4149e884aaa759d42c334393b1c7d871c06db5df087b
results-70300-5 Expired
7.49 KB
sha256:0ad00a4a2f4aed0ad5d07906f4420eb1cdda79ff6223cd1211731147738b8dac
results-70300-6 Expired
8.63 KB
sha256:e43c29cc8310027fbc996b4962fbcfa2ffa0e379c27f54a84b63e6be462aeb1f
results-70300-7 Expired
7.87 KB
sha256:fe8be5a5d23373d33e0514b53d430251fa2aabc71609ed846931420b855638e2
results-70300-8 Expired
7.5 KB
sha256:e76ede58086c4ccced58355db6debf4a8d194f1ac77f380e7b173443b8bdd273
results-70300-9 Expired
9.33 KB
sha256:5d881ee7a169d4d09dda186ebe8c38a50a50207836fb67cd5a4882d1e0fc01b4
results-70400-1 Expired
9.12 KB
sha256:d2235b2727df8f8fdada9d592c0faa88d9416114d0486579a3edadca514c1a80
results-70400-10 Expired
8.46 KB
sha256:0e8c41157465b1cd67b4994b80b142013860779226a301ba757ed8d1e31e3bfe
results-70400-11 Expired
8.68 KB
sha256:6379961c7807056cee8ce9156d078f1bd61281a77c286cff0508e27559a54449
results-70400-12 Expired
8.66 KB
sha256:ff5b798b9004a018eca281df2a37de1263fef74dcbb21fd584fca2ced123599b
results-70400-13 Expired
9.09 KB
sha256:ce24967fc0fb90a45089c2a5aed09fb65efb9dcfbaa00c8ce9061808277e7b19
results-70400-14 Expired
10.1 KB
sha256:cf6da31fa66f369401d80806621010215778fe3bc86e10b999b3c29eb20000c3
results-70400-15 Expired
9.63 KB
sha256:43ed4dcf4fb50659d9d33a3669ab3e8ab3779b0d56ee425c0662c504fef23888
results-70400-16 Expired
7.62 KB
sha256:d54cd867b9e3521136b34be486edb10fbb269abe9cbc1c894fd34d3a70856e49
results-70400-17 Expired
6.46 KB
sha256:3cb3a06414effd046a0814aa6cd538df91653c1ee3229e3a21a507a2a8ba3b80
results-70400-18 Expired
8.1 KB
sha256:7fe54500b47900decb9bf9b54922726247d37fd0ad1a048a76ae0d7db51d56b6
results-70400-2 Expired
8.57 KB
sha256:afdcf73ce2cb6d0264e10a897f43c6dd1fed9d23f5f4f9465a30e3f478e75214
results-70400-3 Expired
12.4 KB
sha256:59e318a16bae54380f6500c3013500cffe29d91e6f552d6a9b66b729c300e9ba
results-70400-4 Expired
7.24 KB
sha256:45b7bcbc50a6e9560ca87a6c8671f0da30eb383343243dc491e7730f286f01cd
results-70400-5 Expired
7.49 KB
sha256:767ddc0cfee774ed16b5ecce0b74fe08692033814b553f7ab4bfd0519f79cf36
results-70400-6 Expired
8.63 KB
sha256:bf8f86259e347d031ea220fa152cc60755adecbc19763c12ded849c2e564fc42
results-70400-7 Expired
7.79 KB
sha256:cf95b173a16f46ee14cda88ae46b5c06095d3c6433f6fb6cf02f39a8f3966986
results-70400-8 Expired
7.46 KB
sha256:8f2a0cbb2d33f845566f7749bb4dfe5c4eede95283fde5be42853fee2c0fe175
results-70400-9 Expired
9.34 KB
sha256:1e7c059af4160e54a406add8e22305945909c9f930685a67d1b68f94cd0bcd12
results-80000-1 Expired
7.14 KB
sha256:8c5f0cc1e925ff8576451960e339f9b4fc5517599992e67c73aed21fc54cc150
results-80000-10 Expired
7.79 KB
sha256:794c59aa42ec5a8caae77e98e0296791582a7631a17c9c17b013d1e057fb5c0c
results-80000-11 Expired
7.66 KB
sha256:605ae825f12191026f2ddf2c0b66cffa2fc1312c38be04ba9a54941426999744
results-80000-12 Expired
7.75 KB
sha256:db3bfd4c8e0cf264be8e518afe81b7c29c1a78d663709b4fe2571fdc57e51ac1
results-80000-13 Expired
7.72 KB
sha256:34c14c5b312c76b658c8e38aa332e7981a1df60a86191cedc46add6d963f7b15
results-80000-14 Expired
7.33 KB
sha256:2aeb26f1df7ca9605ab36685edd24a37c438cd0ab4fe1027ce20ade6c1f6da54
results-80000-15 Expired
8.2 KB
sha256:fbb7ce6e4aea80a5ae54e53f8a9956fcde7ded01093a50e00d476342770a1caa
results-80000-16 Expired
7.01 KB
sha256:2d60f430831c19775dde53cbdc02776d37a05b8f37553a7f2ed3388eba100766
results-80000-17 Expired
6.4 KB
sha256:c04e15ad75989ea6a7d08fc7bc34e3e76435efb18998ba681acc3e93ba69b55e
results-80000-18 Expired
7.27 KB
sha256:3d8958a26872e01f3d7f913a0e3d84c8dc2d0411ca7701fd63a8b325ea47203e
results-80000-2 Expired
7.63 KB
sha256:33294cf240183ee4078eb23cc3b453be57d2330e1e3ba4b28ec82a24f251d11f
results-80000-3 Expired
11.4 KB
sha256:f5d6589e45d7df5c7b2ddb6d4002bb2b71c27ba62d5886d3f6145690d9cf303d
results-80000-4 Expired
6.62 KB
sha256:b8037363765562a73f713189441f9051db6d11efdfee7b50a74d7c9892f4b7ce
results-80000-5 Expired
6.88 KB
sha256:17edc2a8d234a56800f3775bf87a80a6f510382bc7ac22b549ad8681093028b8
results-80000-6 Expired
7.91 KB
sha256:83a3bbf1bff11ab8dc423e2c24c99ab7a2e0c4e9d39a79d96a4a994e378a5925
results-80000-7 Expired
7.34 KB
sha256:20b0f1787031fcd75fb9d534d3e97be8c7f4ecb64331916e2849005e25da16ae
results-80000-8 Expired
6.88 KB
sha256:9557597c73ff73211ca7130022a1c1571b91c913041be72b9729a25116855784
results-80000-9 Expired
7.4 KB
sha256:6a8daeaca7f4995dde3e5865bfbeb13bff243a01a05d0717533a8291b3b1ca6d
results-80100-1 Expired
7.03 KB
sha256:6b05cbe6b6993b6b52950a28af68e409e2685b384041fec07974c2b3a45dbbd8
results-80100-10 Expired
8.02 KB
sha256:23ea90dc6b15fb9e9c83225a27752ecfa45e6b4134d8aaca336a65916bc140e5
results-80100-11 Expired
7.85 KB
sha256:28d9daa507f36f0fc25f76d8d572d7e744e8481549bc7df609c6c68b89fecd78
results-80100-12 Expired
7.89 KB
sha256:cc213cb9dbd7e461ead117d5405e61f2bc59a9c4c19379942499541b89a51d30
results-80100-13 Expired
7.74 KB
sha256:120c562dd2742f54f7d22d32f0329812dbbe31a0c45dd3204f70835bf87f2f38
results-80100-14 Expired
7.36 KB
sha256:9d9c8761e3a0ed23273a2873ca1d58d1a7266760b8ee2f59d1b2ad0e8d3842b4
results-80100-15 Expired
8.09 KB
sha256:7b56f7a019853c897aa7675ddcdd3c622fbce29da3fd2dcb1400e2298ab60e66
results-80100-16 Expired
7.01 KB
sha256:2e648f57bfdc487f9f33cc7c638fd3c233e6d74933ab413ab527455cce9b3c55
results-80100-17 Expired
6.4 KB
sha256:c708032be5fda6f1bf88f13e34dd3c5d6d49ac28d485217c7ecf677471810cdf
results-80100-18 Expired
7.35 KB
sha256:aa221f006a3e8b279ff81a22d6fc53085da29f38468f41f6a9e5c24c561ea672
results-80100-2 Expired
7.68 KB
sha256:9fceb0090e7ce6949ed7a94b808e9a5876b4f451f1de02fb90b6dca0b125013a
results-80100-3 Expired
11.4 KB
sha256:dd463abe36bd1dcd787f81d2957d0a561c06c97cf530b6ace09cbb53ae57c547
results-80100-4 Expired
6.48 KB
sha256:d88bf3187ef4316a5cad9367a2f23473eac94489dd4799f65d953ba66796dade
results-80100-5 Expired
7.16 KB
sha256:10eeb5877bd6550579006033055cf065f382ad2b7a65a46c1178ccf4ebe5d0c8
results-80100-6 Expired
7.76 KB
sha256:c8b901d7c055d3ae2563fd984733327093e927fde7ed685371d2e757bcb4a63c
results-80100-7 Expired
7.23 KB
sha256:3f05e016f918da72537e3b4d431f9a52230d88a267175091e020fa521112f63e
results-80100-8 Expired
6.92 KB
sha256:84f258496ac1030a68d99955d311d8b3699fbafacf354590ae7b6511347b980b
results-80100-9 Expired
8.19 KB
sha256:3bff9e06c6af6b70f1d33d1f77961238cebc2ac8f8b50bffc4bc638519dd87dd
results-80200-1 Expired
6.99 KB
sha256:e10668b38a9cd8e0385bd783739eed753ec0778d6b6aeae7fe2414e80bbaaebc
results-80200-10 Expired
7.93 KB
sha256:b98facce3170ddddd10e3d278c267d0a3bed6a9ab6e0238bf88a71fe276c031c
results-80200-11 Expired
7.67 KB
sha256:7c22cd37dd93024a5d286f0bbf811e189bb1c90d30b92123fc12531669f36785
results-80200-12 Expired
7.92 KB
sha256:57ae5394d33d9659f88c3396411e3d3759fffea0c829f005c32a92f7b3677a4a
results-80200-13 Expired
7.78 KB
sha256:9ac1875f292966544c156702ba72d6ffb961a3dd0b4f78a9bfb9efe83905f32c
results-80200-14 Expired
7.36 KB
sha256:f532f0bdf814845ac003b03218a5010e7c3fe35ccaaca3e1ff5ef20894f72775
results-80200-15 Expired
8.09 KB
sha256:d7b292735f424520bce3127ff6cf4db83507ed926c93056fb49f7835fa5ad2c1
results-80200-16 Expired
7.01 KB
sha256:b61af636f81773150a5c4aa35f3ee81dbff645747c7200c8ecacc6e3387e4076
results-80200-17 Expired
6.4 KB
sha256:76bbe494d4f6f116948744913bc87570d24a6928272f30ecc063d6f3dbca4aff
results-80200-18 Expired
7.31 KB
sha256:d8cc389c38256b8a6aa37a7f554837a9079904274284c8ad590183d2b4f7c4cb
results-80200-2 Expired
7.68 KB
sha256:efe0b8e07d1cfb048374ea1e07e1dc51773e244384ffb2116481a4d5bef40144
results-80200-3 Expired
11.4 KB
sha256:075a3808f8d9d7b53a3fde14f93927bb199504a9d596bc2c907539c429433193
results-80200-4 Expired
6.51 KB
sha256:cffd00102aec9da185ed84f0f5969d8d97ae73a6b79e24df70a796893cc1145e
results-80200-5 Expired
7.1 KB
sha256:58a2a7ced8c5853b763fc524f16e5cbca783c99c6ef2e25a0d4c03ee125464a2
results-80200-6 Expired
7.79 KB
sha256:c9465deb90be7345726ad1a9f6f7cf460432fcaee08befea33d61614bd226a5d
results-80200-7 Expired
7.29 KB
sha256:764df15e5a37536bc0424621092e6add994b5ba5a9df39d5e7be1916a9da2910
results-80200-8 Expired
6.83 KB
sha256:a513bcdc65098637625ef9111e1a377f1c81a0d621b3f6e8a23b67da6bbc886e
results-80200-9 Expired
7.83 KB
sha256:6c88aa5219d220c00e9d9911bf56044709ead220620f84494a3d91616501bcb3
results-80300-1 Expired
6.9 KB
sha256:c80c8ab4891861f82b7ec0fc29556e1669dd52f89b41ca2e513fe3d62f98bb24
results-80300-10 Expired
7.84 KB
sha256:ceb085ba70470e412b579c7f4422a4195903808d06d8c01b830195465baa0f40
results-80300-11 Expired
7.67 KB
sha256:4852a51195d1f5911fe886352f56bbb75e54e003fa8166a315a28c85d9927e49
results-80300-12 Expired
7.92 KB
sha256:675a2e21769737c0f1456180aabcbea97ec66e475bc53f7d6ad69fc3e7c735b0
results-80300-13 Expired
7.64 KB
sha256:8f11fa5bcc9119be0058d4850ab712003028fb71bf656706613420a3a83dfe14
results-80300-14 Expired
7.38 KB
sha256:35502de0b06949463fa7208207472f9383ae986c09946778936a77b24639dc10
results-80300-15 Expired
8.09 KB
sha256:3b391033c5a8574c8f966c4d93a2b5244ccdb52169558394539ee3b2433d976c
results-80300-16 Expired
7.01 KB
sha256:3e359415509308760f6aa86edc2132dd441802d900db8e78e70fc3b2305c5e0c
results-80300-17 Expired
6.4 KB
sha256:8bc05e60e2c5ed02a18a4a2e95a88db096e73945fe3797f70b3b790e41e352bd
results-80300-18 Expired
7.24 KB
sha256:2af0025a7d7948ba09676ae44584791fb908ffdea7f5bde4c4bbd0b4cf8a6d7f
results-80300-2 Expired
7.6 KB
sha256:0a8f654a35f9fb47319b36b4bb183c9591b713358ab715be9897245e5b1da28e
results-80300-3 Expired
11.4 KB
sha256:933d6fcc60fa12f0fa5ce180ae9baaaca1a828e1117d4f1a6e4f79cf320788c1
results-80300-4 Expired
6.51 KB
sha256:212bab1e8321e8398201ff7e5dac9b1482fb8c1138bbab0e34c1e709d6f425be
results-80300-5 Expired
7.1 KB
sha256:8d7ff1584348f429a3099c4b8eb38ebc813ec58424195e58152444068d07e450
results-80300-6 Expired
7.79 KB
sha256:33d59928c1727bfa8de7075b649293e2a0fc13e3a3eb5ff8c4928c28fc81a38c
results-80300-7 Expired
7.29 KB
sha256:8577082e0827294c84f33d3f5bb8d3923a5d9feff2c1cf9409b5f61e66f11afa
results-80300-8 Expired
6.83 KB
sha256:8c0d3bbb30979410f3ccbc2aa25781b6f974594cd298a0bec535e424d06af4b3
results-80300-9 Expired
7.83 KB
sha256:f65e7e18e0c72cf116e00715d88d6da5fa573705641bc99763c0b57099792f82
results-80400-1 Expired
6.78 KB
sha256:aea9226b4b75b20e69b7ad6fa8e0b821bff756a6d3873cdecc9cacf8fe4584e8
results-80400-10 Expired
7.84 KB
sha256:8c8f0a9aed8f9861b88b89ee197d9673df14c6fca631ccae6552bcd8b05473bb
results-80400-11 Expired
7.67 KB
sha256:e5274029c32da820c0c969c0f13b0d8abf9fa43c7d06c22b57274f89991081cb
results-80400-12 Expired
7.88 KB
sha256:e4c2f4c6e4eeed48080bde2f854424cf37951b061731730eadd58286d4458acc
results-80400-13 Expired
7.63 KB
sha256:cf8a4814cd3d8267f0830357c1ab8859236ef37a8844f0876508c1b68a83ace1
results-80400-14 Expired
7.38 KB
sha256:ccfa8b43c4c497113c43dd7a052585bcee2e35bbc732c3d05b66f92545d6a397
results-80400-15 Expired
8.18 KB
sha256:8076f49712eee77634ed72c006d669cb88aacddd67668ec6fb6f939cee245ce5
results-80400-16 Expired
7.01 KB
sha256:d184e9afd1a21d97dea57b255bd0b38133d6d120f3bd546a24cc82f00baec469
results-80400-17 Expired
6.4 KB
sha256:70c394323f2d6f80b2cdc7888d7ad233c4aae021864c979813a463e3acfd9cca
results-80400-18 Expired
7.19 KB
sha256:b19e8463afc550d6956581dabbe493ee3c1261c331070662fc2ae76b9175b1fb
results-80400-2 Expired
7.6 KB
sha256:782f944791ca82315bcd494d6c93e702e560a0c05c01df76e0c4c1bb3021c23f
results-80400-3 Expired
11.4 KB
sha256:d3ad84d1e1ce26307ed98f90dffd1ba43816953163736d8fe51255b6e2ed1e9f
results-80400-4 Expired
6.58 KB
sha256:4eabb574ce3387c92aa0a562ea92f118576fae1ed6853f751506a6a3fe7661c9
results-80400-5 Expired
7.1 KB
sha256:866a60592c6657465485d00e31f04596c551b17797a1d2b18f1ca104497f39f1
results-80400-6 Expired
7.79 KB
sha256:62e46dcfc91291122467745fe9741535dd43b2f892f516c7e6073399f29cac6a
results-80400-7 Expired
7.29 KB
sha256:a2e1c02897569d944966687f4f0f9f4e4d52d760d3d42c3fdb4b2ce331ffaf71
results-80400-8 Expired
6.77 KB
sha256:5d7c6819bb3c483808aebfb0575bf3d2645b525278b65cc9805329c4fb57ec7e
results-80400-9 Expired
7.83 KB
sha256:5d64cc34af63267924502f4e7993d1f89434642e2976ab4fb77b84fd119b8713