Skip to content

Limit int ranges when narrowing arrays via count() #10566

Limit int ranges when narrowing arrays via count()

Limit int ranges when narrowing arrays via count() #10566

Triggered via pull request March 27, 2025 12:52
Status Success
Total duration 5m 21s
Artifacts 128

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
571 KB
sha256:2bf98e99292c725cba04aba6ba0e4060aa91e18f380382607092298e56ddb80f
playground-cache Expired
495 KB
sha256:cf2b461718aae074395c7d6cd45d9e011c50172da1e101da70275620baa3ad8d
results-70300-1 Expired
9.22 KB
sha256:819121cb67bcf856f63e20b668a5b4425586687f0021cc3140f07d4b4fcce505
results-70300-10 Expired
8.46 KB
sha256:fec982c6c61216f233b94a8fbf04d96bc7a8a5f15fe8989fd49b8acb33d1f439
results-70300-11 Expired
8.7 KB
sha256:678e3511b6107126c03b79bd79b5b3070ddcffaf6b9f8f47ed08f5e76dd56f0e
results-70300-12 Expired
8.72 KB
sha256:7733329fb852169abdd6b07491ab394270ab2833ca2470feb142b2a7eeee3086
results-70300-13 Expired
9.08 KB
sha256:bdfe209c334e2001a3a9865860db7d4e6af7282b5fc3408888ac17ced6a4a064
results-70300-14 Expired
10.1 KB
sha256:8b8297ba83145361ca9308ee4b7c4ca2338dfb15aa0cab38110d32a50e05f2a4
results-70300-15 Expired
9.63 KB
sha256:ee0994487199703097dae699ead2365d6c8af5ea788480fe04eec2dfef0f05b7
results-70300-16 Expired
7.62 KB
sha256:6f9892bb1726496e7d16de4b4010c4b8e04f3c1667dfc46d36954e57de788871
results-70300-17 Expired
6.46 KB
sha256:4a73f22137849f0abec61258175c87afd77a3fece57ea0525d4183d74a420c0a
results-70300-18 Expired
7.96 KB
sha256:1aa9b662fb234b0469787ddea3f67314701c908ab0bb9a7b85263282a766b400
results-70300-2 Expired
8.72 KB
sha256:28eb5d1109e762812bfafa072299efac74d9cd0034c8547653194ada72f05492
results-70300-3 Expired
12.5 KB
sha256:bd94929250c210699945f1e5679967c1de0745d7dcc2e2d17d0bbc2072b691b3
results-70300-4 Expired
7.24 KB
sha256:bfa26f4d0d4ed9d9092bf26a37af7e33e38b625c6b3985d1e36abfd9cca57f8a
results-70300-5 Expired
7.49 KB
sha256:bba4abc52e217d3e6fb9f51c508e2ef9c7af13369fdd179452d6788997b56002
results-70300-6 Expired
8.6 KB
sha256:d4e11b345246c264f04bbaa04744060528e4ba00f2d3e7bdfc05acee94188398
results-70300-7 Expired
7.87 KB
sha256:ee513a39fbc1296d24113fa707e0c1daa19409b2a91d778e71b291da726aca2f
results-70300-8 Expired
7.5 KB
sha256:0464548d24c65d6feb9cdbd860a390e76910eef1b65c46b582f77b7b12d59e32
results-70300-9 Expired
9.33 KB
sha256:e8cc8add9c4c3d7817aaff0edc22f9bde139c71d8c2c8c8f024bf37a25420436
results-70400-1 Expired
9.12 KB
sha256:d53aefc531b544feba2c5387eec1c6d723b5fb7d48a0d540126b2e34b4747275
results-70400-10 Expired
8.46 KB
sha256:95519fa4dc6434a8c7e0161b1533645e60a34b3f92d4a1c239f359aadd0a2670
results-70400-11 Expired
8.68 KB
sha256:bf3986b7bcce5db87df9f973259f07542d41a52be70a28415a1d5d1936a8bad9
results-70400-12 Expired
8.66 KB
sha256:e167c09cd498a720ab55d47d826bc345d6273d4246440d70485cd98df5443039
results-70400-13 Expired
9.09 KB
sha256:a6a1d0459ec6072b162012f9480e9d6f7e5edcf7e1798162ddae53231c8dd640
results-70400-14 Expired
10.1 KB
sha256:a23fb578f846940e4e45993b97c2dfdd9184ff7d944392b500811e88b4ed8fc6
results-70400-15 Expired
9.63 KB
sha256:9e5d1b19e0fa893f828cc799a3cbe1294305c82a2032f3daefa1133946c9406d
results-70400-16 Expired
7.62 KB
sha256:f478b816f0918c3e6b912db6b7d9ee22dd89adbf7d24b9e1116d6cfa9c402b8f
results-70400-17 Expired
6.46 KB
sha256:f2e199a424d5f680e2ca32153a53bb703a321cb3d30350d216f2c4b2c414fc80
results-70400-18 Expired
7.96 KB
sha256:b210542c57e6608bdaf5899785dfa1c34cb5f08f1080848c34093ff5fea2ee7b
results-70400-2 Expired
8.57 KB
sha256:054e99fb79e1fed9137874ce0724b1d8fe9cb51dbde181103359224e82683142
results-70400-3 Expired
12.4 KB
sha256:2b1bfdfd257573ef03a348045ec2c703c6f6702a525d48ed8d76e45eeb24f3b4
results-70400-4 Expired
7.24 KB
sha256:295a8c93f0462d645f671e0247e30727cc9de452bf31b414d32795ad38327c78
results-70400-5 Expired
7.49 KB
sha256:c52f8ef1de8b57091e2c2ba91f96e2baefc794d21ac694be969222c293cc5124
results-70400-6 Expired
8.6 KB
sha256:f8c1634616ce3599500e5a760692ddd60996714f64b80b775f67dc19970fc650
results-70400-7 Expired
7.79 KB
sha256:d7b673d4eff1799f7b10d6fa3d482a4f211471fd9d1446069dc608f1fa9bdbb8
results-70400-8 Expired
7.46 KB
sha256:9a97cf86160a2b013e93aa6c77bb6684e5cb7946d29e03652c7475ed78bf1355
results-70400-9 Expired
9.34 KB
sha256:23f73511e3c05760fde044c93ec60ec07fc816296f1781461830e138741a09fc
results-80000-1 Expired
7.14 KB
sha256:25a5e5e81befa0b20392d210c3626bfd3e5a261862709cdb95f228a567f9b4c6
results-80000-10 Expired
7.79 KB
sha256:ad941aa655f3fa67d8fc1fa69d2383b18e9d50160b5766148b07c5ef53e42ec9
results-80000-11 Expired
7.66 KB
sha256:80c62fbacd5b4f5f7c980a1748a911d0044793bea253de1ef0e9b750658f91bb
results-80000-12 Expired
7.75 KB
sha256:72115c200269320d7656b948d4dc37202dc584b801030fcdc7a0a9153df1cb11
results-80000-13 Expired
7.72 KB
sha256:964848f213798a56fcbfce09bfd220f6b7ad0917c1d205b1e755b8ae7f64a603
results-80000-14 Expired
7.33 KB
sha256:98555bbc8312064bfad118ce71cf5f98230ede05adf5af46afeba3eee936dc0f
results-80000-15 Expired
8.2 KB
sha256:05c8a9995c0e9c72fbe33826ea5acaff3d61a3393a056982820fceb45b86a6c3
results-80000-16 Expired
7.01 KB
sha256:bf650d18d2f3953f1c85b52e1a21690c006204b65134c70d73b40e0292033162
results-80000-17 Expired
6.4 KB
sha256:b69b22567f75dc2c23e13db72c6147b4ef2c1bc5f6a1822977214b63e8806cb5
results-80000-18 Expired
7.17 KB
sha256:8de9e22bc211a3daac34f601ac1126ffef343797053334619230a69e8b9de5bf
results-80000-2 Expired
7.63 KB
sha256:8aedeedcd8755d4b12fd35ff0e37fc98b3f83a5a6f06fe53007bf60a39fb236b
results-80000-3 Expired
11.4 KB
sha256:674f563544635fa2852b8745180d446583742b9793b6b43b23300575891343d2
results-80000-4 Expired
6.62 KB
sha256:f5639164a024f14d06d1a72da4ef9b23d9b2395a01f9281c43a6ef4fdd9d3189
results-80000-5 Expired
6.88 KB
sha256:27a13efeba050fe43c2228ce3340cc17a2eee939983fe617096fc04ff4cacbd1
results-80000-6 Expired
7.89 KB
sha256:302362afa8ede77bd30b25503982510a51cbf24f064ffccbaf02ac33c0b26d3c
results-80000-7 Expired
7.34 KB
sha256:f2342c50bf532d7af1a8a78a3727c95488a33e910a946a0cbaaf86ba172aaedb
results-80000-8 Expired
6.88 KB
sha256:5cad8bdf4b02a6e87c8afa9f944407216e79208bebb34d7c0fa8c5d1c79fb9fe
results-80000-9 Expired
7.4 KB
sha256:8d3471c54461b69ef196d31176d909aeb2770d29247aeadfba09dbf82bb238ed
results-80100-1 Expired
7.03 KB
sha256:fb41fe1e38871abd916642cb75d27066fa1e91b418e3e0a7cbddccdc3738310d
results-80100-10 Expired
8.02 KB
sha256:645c42cc841216e70d39361b508e73db935b5f3ac589b7e3a686bf49b9343402
results-80100-11 Expired
7.85 KB
sha256:114cd461e6d3eadc7d3804ba05cd0bc53eafa63c31217d0f801696dcd5e05f0d
results-80100-12 Expired
7.89 KB
sha256:c1f5974e97482681c5ffd7638c3e963b7b383b584e638606fc6f28d49530710a
results-80100-13 Expired
7.74 KB
sha256:5b721d05561b73f48f17b15bcf612be1969b7b24eb5501047df65bf888c8eaa2
results-80100-14 Expired
7.36 KB
sha256:7c7f8240901124bfb882db543c5d00fc2cedda18ff2da190ae6388ffa02db534
results-80100-15 Expired
8.09 KB
sha256:b08e472932bc140b6cff65ca869ab16c274c884012df806d7efb6523a4b87d67
results-80100-16 Expired
7.01 KB
sha256:fcb3454cf133a1a7668dfbfd75e429c0dfc5f3721c93566aa2c37baf1491fc2c
results-80100-17 Expired
6.4 KB
sha256:35f154a9f8ef9b69f8db789064c4676867475049e5b23104e08d3865b64d6770
results-80100-18 Expired
7.25 KB
sha256:ad2cccf1a128cbd4590d5c506a8aaacacaf8f9634f8003960826fc25a04c3fb5
results-80100-2 Expired
7.68 KB
sha256:e494d76861b8fca8c9e82bc5fd19d41992fb0b8d13f0837140e8438922260abf
results-80100-3 Expired
11.4 KB
sha256:511b6263c4b18bfd28ef7fc2dea97b030e49204f7cc8b33879037e1505260fdc
results-80100-4 Expired
6.48 KB
sha256:7a3a5e34a83432a14db6a0e069be7c788c004e90535e828c3b4a68a8e1751771
results-80100-5 Expired
7.16 KB
sha256:ba595228449b42c455d3fbcabb248ce1a0c9818865f77ced5c3c99dd77d9e6f6
results-80100-6 Expired
7.74 KB
sha256:e4b7af011f6d6a6b25258b003a84f279ead5272d97b693e338d82557834de7ca
results-80100-7 Expired
7.23 KB
sha256:7c6472a37b8ae6d42a6ae4d0ebca8b8cdbd6adc772ee0694b238a1a63391ad8f
results-80100-8 Expired
6.92 KB
sha256:be2b0e706f37addf89bade204b047f6656d833240a944b86c52ad39ccbc22507
results-80100-9 Expired
8.19 KB
sha256:aa750072b2ce988a596eb5d28f67ab63b599d899cc7748e96eeaa53bfab4ef07
results-80200-1 Expired
6.99 KB
sha256:75d6f40a145f2899cf68218ded8e01b59e84e51af29d9a0ed9166b18dfa32357
results-80200-10 Expired
7.93 KB
sha256:9ed769a9032498d58b1b79ab7cea25607044a89eb26934f50373455997109bb5
results-80200-11 Expired
7.67 KB
sha256:ee3051e8a7f38f9ecfe181a2f4fb841c73ef55c94174a8c55185975c626ed383
results-80200-12 Expired
7.92 KB
sha256:7855c29ea23e1fdd4131ee6bc54d437c25f18d19c4b4bfd94ecb98e5e4ed2b5a
results-80200-13 Expired
7.78 KB
sha256:d2459c2612a77f6a3eb554f9f362262a81680d40c59d5a283f0f27809d61d139
results-80200-14 Expired
7.36 KB
sha256:e705a7e10be52d23fb6e6bf78f48bb30285e8deaf7b272a2be547d5daae52235
results-80200-15 Expired
8.09 KB
sha256:58770f29bced2fadd909097dc5a791cb98e47528a18eb53d5669af8cc9f2f5df
results-80200-16 Expired
7.01 KB
sha256:6387b7a6a5f75a73870c9d96dc4144c22603e5259abb8d0987a3a1541c6c4482
results-80200-17 Expired
6.4 KB
sha256:a392fdeb6569a658e72190d2199c0d1467c36e09a6b6dae5b1ed23f5c85b7f61
results-80200-18 Expired
7.21 KB
sha256:0e2a9557e050853107c13cb3e8abb2166794d454a3e7c9edae6684ed0b2006d6
results-80200-2 Expired
7.68 KB
sha256:cd6910c13facbcc9ecbe03892bfa2c31f3c9739515b11da42c4f2eb9631d7428
results-80200-3 Expired
11.4 KB
sha256:87a813a84c6e41df1a8a7ebaf29597e0a5b64aaf11206d322613764407a22992
results-80200-4 Expired
6.51 KB
sha256:413bb1e2e0c08e46041205cf8e465f1017d70aaa3f09e53bb0a61d3cc5e26cf8
results-80200-5 Expired
7.1 KB
sha256:081215751f0db3ec5426781893448ef96575c06d973222e275cb7b62ca4da34a
results-80200-6 Expired
7.77 KB
sha256:84674ac3245551a1022f70a112def12177c9ec0dbdd88a879e7a72f56df0d3f7
results-80200-7 Expired
7.29 KB
sha256:5bf038da3ae36b50dd6d016bafb0eb1858a80ca278eeefaa3b394c0c60c5d3b2
results-80200-8 Expired
6.83 KB
sha256:deaaf9b48589788def1edd611ea5f048d778ec36fd81047590436898124722eb
results-80200-9 Expired
7.83 KB
sha256:cfb5fea2fe4ae7e80aa9abee0948fd468436063b7a40e38d25bb1a3239a33dc3
results-80300-1 Expired
6.9 KB
sha256:dfd7b48588adf7e3fd9371e845b5ca1c8f0cc9549eba81c6ea726cd7639d50cb
results-80300-10 Expired
7.84 KB
sha256:f21b171ae952c0ec449ccf64110abc23f1d3a5e42b3131b8483940b7b8981023
results-80300-11 Expired
7.67 KB
sha256:10334f3a9e43a0d8386c95875ab91db738e73a923cee7d5b96e67db8afde2ea7
results-80300-12 Expired
7.92 KB
sha256:c612a4b5f03b4310c24f91b5bac340357b4dc7699bf8462f0844ee1038744108
results-80300-13 Expired
7.64 KB
sha256:b5862c4aed863c98b62a9ce40ea9dbeece5a54a7ef3ea35deac40509018f935b
results-80300-14 Expired
7.38 KB
sha256:1b9cdbec4a9db1bb1980e86829d031ad62b8a5273521533eac92f9f1efa75e01
results-80300-15 Expired
8.09 KB
sha256:500742492b5415b8df790dae6c00ac437ec355539df12fb76c277658d8850d13
results-80300-16 Expired
7.01 KB
sha256:555510c6b687bc14affab6c0b636ee2f3cc64889da47893d415c4f7f724fbf30
results-80300-17 Expired
6.4 KB
sha256:11f530390090d19614ccadc2b4ee6a6b0f53f39471e3695f15433320c47b068e
results-80300-18 Expired
7.14 KB
sha256:69d8783d9b81a4d53e46c88f883be3f1f0efeb46c528c918f8dcf4efffc3e45c
results-80300-2 Expired
7.6 KB
sha256:6bf8fcf41be078868d60e371060cbf96ffca19a3c8f611ebb6bab6310cf5bd35
results-80300-3 Expired
11.4 KB
sha256:225f0b733470e88d87c5acf8a1f143f8c7aae76f9fd92f7f434e02647d5c043b
results-80300-4 Expired
6.51 KB
sha256:03bdf2dc0b12ccd91392f5177e124a6d3c1cb7742c3ae4e36bac5e710a1fd72b
results-80300-5 Expired
7.1 KB
sha256:3b84c3c599899e2e7c784b76bde1853734d133dc3319e15edb6be526d59e9dcf
results-80300-6 Expired
7.77 KB
sha256:bb0791dfce97128561e94e7bfc2056101bbdc7b4b47961a858125f5036536f5b
results-80300-7 Expired
7.29 KB
sha256:a41b165c9f27e5047f5d3cfcf2fb6608c1a24396b7379c4e800dec7d58ba370a
results-80300-8 Expired
6.83 KB
sha256:304684be59793bdbc15109b50362b2832cf82a073e4877d01dfec06de19898b4
results-80300-9 Expired
7.83 KB
sha256:7440baf9bf9a369d84774fcd62d1b20f11c3e0dbf619e023ad52dfa3a78564ab
results-80400-1 Expired
6.78 KB
sha256:21dacfa228787e5127b87627f28a5258d3e63c17e5f191b021ec959bce06d08f
results-80400-10 Expired
7.84 KB
sha256:5e0eae1e3a0d3541efd248b442f3b46194f9a2971ba00f47ca1225bcc6c07142
results-80400-11 Expired
7.67 KB
sha256:c4152e352ad6f7275b5e5951393aef86c21d1808ad1f87a41f5ea017013c0d65
results-80400-12 Expired
7.88 KB
sha256:ad5a5d7354c68d5fa9ce9fd4573c0f54431490c47d3b0447e2a594a04152d99d
results-80400-13 Expired
7.63 KB
sha256:02e2190fc0361373e0752c51055ce952998086c13f594ffae7b8091a41ea3825
results-80400-14 Expired
7.38 KB
sha256:b72610bd0ad556b7be1460c4d25eb0d476f08229e4f13c846841ee16b3e83d1a
results-80400-15 Expired
8.18 KB
sha256:90059bfa4726b543c9b30c97ed9f25f4f6ec519b8385218cd203939feccb057b
results-80400-16 Expired
7.01 KB
sha256:fc08c09512f4cab29119707ca1eb7986c23b253eedb40124095c5704a1eb56a3
results-80400-17 Expired
6.4 KB
sha256:50dd6cf6d9b8b3bb4374b54c5ea747b3a6bb5a66ba9825d8ca19882d6a902ca4
results-80400-18 Expired
7.09 KB
sha256:ff8b573136b218201bbb80a47719616c8af636b6e9b356832c05c563333a3628
results-80400-2 Expired
7.6 KB
sha256:4f213311fc5c3dfb9532bfbf9c6db760a5dcab620980525bd61743491fbce448
results-80400-3 Expired
11.4 KB
sha256:cf312e30b982cf9c919896d7ee73b9a699f4e6b641b280607c02ae299432e9f6
results-80400-4 Expired
6.58 KB
sha256:2433466c80f54f2ed142b1b28b606f82f8b3d5d82183b9888646da3050a08b2d
results-80400-5 Expired
7.1 KB
sha256:94b5bb18044ef65efb51f18ab430d0be4a4a75a51d0ef864c9b6ed40cd3ff992
results-80400-6 Expired
7.77 KB
sha256:e299b7b6ac74eafcd27ad7c61c5e2b4a4e37c5fd9aa6f5579ff1a3f4c48b5d29
results-80400-7 Expired
7.29 KB
sha256:4507b2df1fe5f5f36a398013ef475ebdd16882d11695f7a77c9130edeae589c6
results-80400-8 Expired
6.77 KB
sha256:0105a644b4bba7b6ec2700926a1135a50f8874f71271cff9314ef48c52084d90
results-80400-9 Expired
7.83 KB
sha256:c958e85998e614d5c45f31be526f85ac712e4428912712abc3440043578aa514