Skip to content

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

Limit int ranges when narrowing arrays via count()

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

Triggered via pull request March 25, 2025 19:09
Status Success
Total duration 3m 51s
Artifacts 128

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
571 KB
sha256:158212988c8556777f48afaf54bb082a6c1e76074f7528f771b2fed893e3852a
playground-cache Expired
495 KB
sha256:22b9a2425b0ec98dafdde720c2916c77fd816d92d76cd332932d4e98dfaa2c79
results-70300-1 Expired
9.16 KB
sha256:096872fbbd8674824ebfd62f9ea87a5529acf21c107462295d5b2c4153953eea
results-70300-10 Expired
8.51 KB
sha256:98cdb58b6bc338591750406a892188d3daf4e85added449795e759a239570923
results-70300-11 Expired
8.54 KB
sha256:554abcc07e4e6affc783b035565be58452ad1295aa1de9a16d70068718587ed3
results-70300-12 Expired
8.69 KB
sha256:f4e458675fb40f4dd3b4ff0068f9042665a1329565756c585bd67a1f5ed3bd89
results-70300-13 Expired
9.24 KB
sha256:84ed5af42cbeb2d2fa63963d9510c0da032490515f79dcb786e5a04ee7bb6369
results-70300-14 Expired
10 KB
sha256:a81ccec172937ec979bba7b9f481d9267fd7463da52e57efe4a4ccdee08657dc
results-70300-15 Expired
9.6 KB
sha256:0752a98ad6c81acb30ea5c06b92c2e57665e14ba07b977017cc2a8bad3e20d6a
results-70300-16 Expired
7.64 KB
sha256:069aa2c0afb9ab15b0bab5f59c0293473e044c0562af373e4b0246995fdbff64
results-70300-17 Expired
6.47 KB
sha256:59717aa5aea382901f9d2c043cb1205ac67d3081fb6ebb8d3d7d3031495036cc
results-70300-18 Expired
7.87 KB
sha256:6fa825881f6b87b2e475a69eef6728a3011638657552c8bd9a775cbc305f982e
results-70300-2 Expired
8.86 KB
sha256:f04c761834d426c3c94f90a73ef6ed73df0d007951736fcf262f7d07f67b0210
results-70300-3 Expired
12.5 KB
sha256:3494a825892883ef8e2a58687457c079800771e0de945ebdb18fa968134b1ea0
results-70300-4 Expired
7.23 KB
sha256:3d4cf0bfd7f649dd0417be66b05da053befb6e124f49dd26f8accc0e5e74afb6
results-70300-5 Expired
7.45 KB
sha256:dd2d6821bb5333a1241bfbe107c27e95110fcda2798c1fba04b39f306d3528dd
results-70300-6 Expired
8.59 KB
sha256:587ac9b0fafa9101953364479434f67cee4cddf3458b3bc2dfc35b554716c73b
results-70300-7 Expired
7.83 KB
sha256:a417bf87b3ba46a72924fc1af1932e2e3c530968f2cfae57cf138a7f3a07a88a
results-70300-8 Expired
7.43 KB
sha256:78aa9c496186da4055da75fbc83a25b5471fc8016a1843d738272a6056b0c73c
results-70300-9 Expired
9.43 KB
sha256:458fa0cba825caafe93cbb9bf3d0c9d1a995336a1552ebf1db5bb73f5913f8bd
results-70400-1 Expired
9.06 KB
sha256:d6ea6a463463abc3f118a271815de8c6816e3435b73feba7cd9bb6e97b4c2b20
results-70400-10 Expired
8.51 KB
sha256:abcab7409bdf8d20429d3ef11420874477a6cef4f2350b761b30a1b4751bc759
results-70400-11 Expired
8.52 KB
sha256:6afbc7be2246eba62b686d288fc89c2839ce2752ec2397686bd1bf5e0687ce95
results-70400-12 Expired
8.63 KB
sha256:698966791b45ae16a7cc63493f3cc0322990dd32b670de6cd64ff3903068b8ca
results-70400-13 Expired
9.24 KB
sha256:7c491f5a963645a7676055ad0c391b34c1d4c91807ac818cceaadc4573745bdd
results-70400-14 Expired
10.1 KB
sha256:71fa9bd86852cb05c78f1d32c020a523f4ce1a7a85e56731ce1321975d7efae1
results-70400-15 Expired
9.6 KB
sha256:6ffa581f2d017797f19018fdb8b4c50536b39d9a7ff0e7e486af578391bd437e
results-70400-16 Expired
7.64 KB
sha256:83f1cd2d467ad74f9afc51e9927701c8eaf4b3fbcc31d02ce3a1bd76b4e551c4
results-70400-17 Expired
6.47 KB
sha256:ae8e1d26bcb99c8f0a6a774500edd4906d34f7bfed689b75ea321d6d73fa27e5
results-70400-18 Expired
7.87 KB
sha256:41254d4accaa794e9908f971f61f5cef89b26fb4472ef50edd9747299f1596f4
results-70400-2 Expired
8.71 KB
sha256:d2d6f195f34a6a4f355e34999c7c0c4324b95eb152d83fa91a4dc87666224f14
results-70400-3 Expired
12.4 KB
sha256:853d12791c0b54952b524262bdcbd4cfbbcb27f11a618bf68070acf9c757b1b0
results-70400-4 Expired
7.23 KB
sha256:334cb8f9e00c606c21880e2a9ace85d8eade3f23017130b58f778937a8ccf64e
results-70400-5 Expired
7.45 KB
sha256:a1c3fa4af2eaae553350f28b25f485a97fe68a1278a7ceeb28e4ab9f2036e4ef
results-70400-6 Expired
8.59 KB
sha256:6e4a4c3af51a345025fe3f2f8f7deef55799e75517aeedbd800710c5f078d637
results-70400-7 Expired
7.76 KB
sha256:c15f94b32286d9a5cf99afa8ecd0a9ff10d4c5f57850525870c5ee3c8e4ce805
results-70400-8 Expired
7.39 KB
sha256:fe84707d9fc1a561f7efc411d72e57cf5521d12b5d49c747c97d54b642857bdc
results-70400-9 Expired
9.44 KB
sha256:a7884f51375eaa2bf3cf8ef4c9119d594f708360717155d5beb434e75597f1a1
results-80000-1 Expired
7.13 KB
sha256:7669e2658ed92a463f5fea75be16c4434314ee6530b4178d58b5f6cf06a5ca99
results-80000-10 Expired
7.85 KB
sha256:0de4a0bd9d7186d0ad615d43fb6a89273b4f1e9194c9f48181b2a928052ba8d2
results-80000-11 Expired
7.51 KB
sha256:c1a24781270adc9d8da7ed733eefa9b1c55c9b3b582bc7d3e23a4ba14219454f
results-80000-12 Expired
7.71 KB
sha256:98ef13e527701d0f70c93005838a33d27819cf394a31b8e9f3a969f4e1ab687c
results-80000-13 Expired
7.87 KB
sha256:ab28d434d06305952acdfa15bed7f27a2ea6dbbc09196d7aa45b3cf6b9a49f0a
results-80000-14 Expired
7.31 KB
sha256:9028d76915ddcb72c7e468625a243830f3c77caa1d3e01a3e9bb43e8c6e3b24a
results-80000-15 Expired
8.17 KB
sha256:485f5d1396bf245c9ec19d1eb025d9da749f754ee2d4d3f76f9775c471dddbbc
results-80000-16 Expired
7.01 KB
sha256:29228b1ec3a1ec23ec8f25b97d8b813063d862a53ef869b02e2014e856e04da1
results-80000-17 Expired
6.41 KB
sha256:4308affe7f730141763972de38b6c6cb6b3d77a51825209e966e3f1fc6d90211
results-80000-18 Expired
7.12 KB
sha256:79a78b25af18f74787ee66ff1d8296d18d71a6eb604c56946a7ecf68af9ea39d
results-80000-2 Expired
7.61 KB
sha256:eeeb605bae1b2dc493118645939b4854a4c3527f8b3e44cf9cd02cacf7143429
results-80000-3 Expired
11.4 KB
sha256:b6b7a4377f99fcb643b583c751ecc6f29661856d605aae3d89ef56554fbdfeae
results-80000-4 Expired
6.61 KB
sha256:fbb6053686ef8d34bdf7e2df7e628694521265219f2b8c9070ac6a8a86c7bbea
results-80000-5 Expired
6.84 KB
sha256:79211a67c2d3c56f906183204cf3a7b10db33dcae21d5939b3101893d6b3e911
results-80000-6 Expired
7.88 KB
sha256:b8426e006ac663b44326f4c3cf2cd8f17f7b775bdc30f7cbe0aeefb668ec5bd0
results-80000-7 Expired
7.3 KB
sha256:d49ebfd2641657531f9b2cf15622de76f1526f083b8b85088709b78f7ab85755
results-80000-8 Expired
6.87 KB
sha256:6dbf05a8f51ae9164149fd044d13db36491f6e56f45c93b54db30efc60849c7c
results-80000-9 Expired
7.47 KB
sha256:5b2633e3d70c629b0e69b37f604d56c0003d4c5e618dd2d48e11e2c8a429f17c
results-80100-1 Expired
7.03 KB
sha256:f8d073b311b945d3819c6e81f5896da9a8d3a4e2ab338aa0ce67284b9b98778d
results-80100-10 Expired
8.05 KB
sha256:443e424b06277bf4f357ac095d8cc73cc055fb8a1fc7c7206e058d2fc324fc91
results-80100-11 Expired
7.71 KB
sha256:9e5cf7bf34b664822b9babc5142c2e70979f2525658537efc2225f7a6c730a07
results-80100-12 Expired
7.91 KB
sha256:c8cd979cd807b3bdd5f8d7be82b59c090e29f08bbf4d2777444ab4212e326deb
results-80100-13 Expired
7.89 KB
sha256:a132bacbfcfe26aded629563152db788abd37c6960e0367c76ab072144c0af05
results-80100-14 Expired
7.33 KB
sha256:fde014860d654c8d9610f28ddded27c6988104c76bc3db228418a0c3abe49f20
results-80100-15 Expired
8.06 KB
sha256:b63a9c5eb3ecc585f11353826599764862324b3cb8621c5a795f8f09e1578d74
results-80100-16 Expired
7.01 KB
sha256:3fd5522e1e6c1c1efc55d6b8c99923b59cd56e785f5f6887b950e26679285103
results-80100-17 Expired
6.41 KB
sha256:d1133e1e977ab0338e750267fb4e4aba4a25a7cf969d134eb4ec96ca12273d0d
results-80100-18 Expired
7.11 KB
sha256:39a990f1fdb4b0e2826e23d24a3fe9c6952dd968a657c342fd29b9035990e57b
results-80100-2 Expired
7.66 KB
sha256:1a4abbce8ff24fdb9715ccecb35d1e5371af2ca85e500a8e5a66b0d457c25cd7
results-80100-3 Expired
11.5 KB
sha256:769cfa00331827397c4af39f60f1893c105a071617db788df4dd78a1db77c280
results-80100-4 Expired
6.46 KB
sha256:0f11d7a748ddc2509a468612edb5a5632c704272c8e5098a78fcccff77fe261b
results-80100-5 Expired
7.12 KB
sha256:7e8b81000112356ed216f0e17065301a863c85ca0d4868799f354a9f6795b0ea
results-80100-6 Expired
7.73 KB
sha256:91f436f9b43b4a9044fff05551425fae58f29360ee308bfea44781ec0946741b
results-80100-7 Expired
7.19 KB
sha256:a55679efc3f5f0aea415818379769153ecc6ca05a1047b45fbb53840d19bdb43
results-80100-8 Expired
6.89 KB
sha256:96364ed69c50ae8f2c6283ccafc3cf933475b92d6cd127359f7732e8b3ca9aed
results-80100-9 Expired
8.28 KB
sha256:6cef910c56ec77651cc5aee5b892d8e8decd1d3ebef04605967fdf455a4a86cb
results-80200-1 Expired
6.98 KB
sha256:e342a05d167d1a3ce05a011f4926f5427618286dee28b0df7d97a57de4f1fc8a
results-80200-10 Expired
7.95 KB
sha256:5ec89caccb9e1155f88c9e7452655f4a577f2ba8bf11dc318df856c9d8ce1d18
results-80200-11 Expired
7.52 KB
sha256:ff3f381c7ead3d3a759d7b0b9a672a01c441de3f87dd85752735b7561c4c8e79
results-80200-12 Expired
7.94 KB
sha256:3521b871e48a0feee36f1be692b2f08a8cd20d147a32aec9ab5f09336c925f31
results-80200-13 Expired
7.92 KB
sha256:a3e87cc04342f8ee7496955b0c8c7b088099fb4cec796032952a3b190000d187
results-80200-14 Expired
7.33 KB
sha256:6e8013c54232c4d8f56a8c47f80140c3736ea0815b8a8bcb15604af0170ad5d0
results-80200-15 Expired
8.07 KB
sha256:583b1d76e3e3b8b674e0e74f3f0cf13f87c65c4b605562648094b4a60fbd286a
results-80200-16 Expired
7.01 KB
sha256:02497d2dea117a4f378f591d7f9622d6e036b5e420387c94027d4b6fc6ea8729
results-80200-17 Expired
6.41 KB
sha256:ad765cb5c9467f857138d9ffe6a29a10b73ebe9372ee801a5c63df3edfaf4ee9
results-80200-18 Expired
7.07 KB
sha256:c07d3977ccfb560ce18be899243f9949eec4c91837c0816ce13cfd4cf2e82fe9
results-80200-2 Expired
7.66 KB
sha256:7d1a004f85c324b152fa15775c00a1b540ab402ef2addcbeab38c7021e662e1d
results-80200-3 Expired
11.5 KB
sha256:9bcee8a2c187c66760e4d1566fde0b262b39a646c189da164114146fe69db04b
results-80200-4 Expired
6.5 KB
sha256:59b52be7141f8518742575ecdc2aed50e725621c7ef2374444ca492b54b60ba1
results-80200-5 Expired
7.07 KB
sha256:10952348a97a2c74e92ee668d989c40d7c1ad10809317e5f242133d1a0ea4224
results-80200-6 Expired
7.76 KB
sha256:2b6f856405986c1722b9b260fb0b50f234429a394ab08b0fb12b07b9c4e9d025
results-80200-7 Expired
7.25 KB
sha256:6ada4c41007c11cd2e3559693dd860cb8914c0a75e0a23e53fe39434b9bb5049
results-80200-8 Expired
6.82 KB
sha256:18da5b7e346d70ef02ec1eb84e27896ecc2a6723641407162320d26373761ead
results-80200-9 Expired
7.91 KB
sha256:e8a470ae647221b1df1a21ac6e3bf253863722563e301113bcd128b088e14f43
results-80300-1 Expired
6.89 KB
sha256:46aed2bee605e4860ed32fddb094c20c47f32dcd19f70fddbeda22844d963fbc
results-80300-10 Expired
7.86 KB
sha256:bb776b3a8e61d368a204a31746adeaf79a7d658010fc72ac3c18813dcc4f1b6c
results-80300-11 Expired
7.52 KB
sha256:cc30e93bf0e52e0c13b344783cf893a4a5fa193b1064d6fa53fd0362b8e37a96
results-80300-12 Expired
7.94 KB
sha256:2b35f1c878735d08f18336bbc94562523047e5242ac422f1d6db5e487c6e8f55
results-80300-13 Expired
7.79 KB
sha256:a6aaf1502e264426c6c3c0a213a944ccb64ef089a4408774060aaa8b712ba996
results-80300-14 Expired
7.35 KB
sha256:5bf229e6c9d4a25b0d035e265270ce5ca6a3af107ce72c171406b9990894363d
results-80300-15 Expired
8.07 KB
sha256:81410c389276c632584ae280e730084d7598f48ef1d6612eb35ed87b74cfd3a0
results-80300-16 Expired
7.01 KB
sha256:da1215b5224705e1602f9bc7acd1f79822f5fc3d2fa4010bd64705e42ce7c598
results-80300-17 Expired
6.41 KB
sha256:fd7fccf76d19908784e8be7238c53c5cb77a98259cfc2b21e997a61ff5a15a6c
results-80300-18 Expired
7 KB
sha256:39efe5eaeb4af1260188dd52f617dcec8b7e920eb9d808bf867b6302fc00f4c0
results-80300-2 Expired
7.58 KB
sha256:2666325375a48ad198a34fdb625c7aa1883ad0a177aec110bec173f11ef3e44b
results-80300-3 Expired
11.5 KB
sha256:ba305fc9e4b39abfef09949e41c7c74672cbebf42d7855244209073338ab2d8a
results-80300-4 Expired
6.5 KB
sha256:b3b35f1c36fe1cf506cc295b9927b2c358323bc6bcfdd2b0710d10241fae838d
results-80300-5 Expired
7.07 KB
sha256:823bab2dede0e4b2102f5a8bffc539780c05113edc479b002fb80f43314b37cf
results-80300-6 Expired
7.76 KB
sha256:3b846ebfe6fb4da2f27fca800e0252467abd3e0a2943bb42d7235b4b9ae7ff5a
results-80300-7 Expired
7.25 KB
sha256:3975fb7a95b98fd74850c3d79a3ff108b01fb256f9ebc2bb6eca913ff5ad041b
results-80300-8 Expired
6.82 KB
sha256:6a689c6f57b977f429e5712b2ce5768a9d22f84b22073a3141986bd3b40a4e62
results-80300-9 Expired
7.91 KB
sha256:edc023b6fb504d8f07b74c234bcd3328e7d2e4e881d5784073e3b214973f2247
results-80400-1 Expired
6.78 KB
sha256:d496a557a87b3fdc26c7f0551022cff5903e04037a62635c0fd3e97b6f228d24
results-80400-10 Expired
7.86 KB
sha256:ef2de941fca73fe5953ae195d79e8ee5d1689684b2f4ef9945e3f86435840cb1
results-80400-11 Expired
7.52 KB
sha256:fe0ce8c0949542c01bb95dacf4f84a3e33cdd2bda314712cf71261719a68bcf2
results-80400-12 Expired
7.9 KB
sha256:7b619ea2d7a50b7603f7a0b67f7b1815c778d07c815e34a7c15263b9ac0c6329
results-80400-13 Expired
7.78 KB
sha256:2d7bc479a80ad90563516f5906bd24a044f67f3f08eff69f423b3d18b70ec5f7
results-80400-14 Expired
7.35 KB
sha256:e1d2f0b19144a572721114776f590c426c7429107acd11b242f8edae90d9aa21
results-80400-15 Expired
8.16 KB
sha256:72ae8a784113a572d0f88d02f4ac6f228cee3065fff05900156285916bc486fe
results-80400-16 Expired
7.01 KB
sha256:019de0ec838f76d4f7e762598f5502fce32ebd2c0eeec6f9421074bba27cbf54
results-80400-17 Expired
6.41 KB
sha256:146dcfa159c3c9a6ff066ccb730163069b8896fb680f213f80b52bd1e9851246
results-80400-18 Expired
6.96 KB
sha256:7a031b872ad7f545b88dc8ebaefe4b6641f4f13eb096e58c0c8da9e79450ab4a
results-80400-2 Expired
7.58 KB
sha256:f2a4927325e1064482827a58f493dd2a4b2627b5d5ced2f16c030aa68381ff10
results-80400-3 Expired
11.5 KB
sha256:83e78ace61e3e7121571f99c566444db72e1e131f1748ef392bd29284f046922
results-80400-4 Expired
6.57 KB
sha256:f848b43d1c774b4e45163b39e520f474c1c0b29082f9e7a28962fa517daf1b2e
results-80400-5 Expired
7.07 KB
sha256:9d6a69184474fbc90bc99984fbd5bc55362bd3163b61a0b15cbc3e024308f930
results-80400-6 Expired
7.76 KB
sha256:60e581ec3b1910f6dd75b6d2fee079aeea5f6e06062a6ea5b3645f2b1b09407a
results-80400-7 Expired
7.25 KB
sha256:b04d33e27109e74c2067f1d277c99946cdc05062e39baacf280ed3f338c48a3b
results-80400-8 Expired
6.79 KB
sha256:942efd379db6f34e26326328bd04601121aeda1e2bebd66a173ace2a44c4640d
results-80400-9 Expired
7.86 KB
sha256:1739fc4dbc396909060e897e43b8577e4b1ecaf07ffab54cad90c6112cb289bb