Skip to content

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

Limit int ranges when narrowing arrays via count()

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

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

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
571 KB
sha256:75e28abaf47dae1a00b0cd57fa8974b98b4c552e1cae8292a5784a644251b0c9
playground-cache Expired
495 KB
sha256:94cd6cc270aeaa4a1b3a514ae05ccde4988b6cd039d938fa6f4682d14f38c842
results-70300-1 Expired
9.16 KB
sha256:97d20633a90f549f722701f33127ecf5f3d930ffcd589826e1fb25b965dab452
results-70300-10 Expired
8.51 KB
sha256:0b6b547447edd2904f371f404a14bad29a459899e3d4c274cfef6a982392558c
results-70300-11 Expired
8.54 KB
sha256:ecb94d9b44c5518835f9667f05189cfbf2c615fd077ff36ca4bb933444590593
results-70300-12 Expired
8.69 KB
sha256:db6989e772efaa0f2036fac327697a034b32a14b216287ae8de0ff4e9df60807
results-70300-13 Expired
9.24 KB
sha256:0cbb0d81c72258947e767e98c24e9da2ebd7874149ec1a1348f47d6c9794ed0d
results-70300-14 Expired
10 KB
sha256:ef317e9cfc66ea456416b135126921cc2ad4ffd5c81bfcd0bf860252e4f1c4a1
results-70300-15 Expired
9.6 KB
sha256:18d09a1745ea91ce325c982369445a6e2b708d9e212968aed8f1645dfe5e396d
results-70300-16 Expired
7.64 KB
sha256:3ae057c23e8a7c9b00622f32703d8710a6bafd1af307928b977ae9a165a517a0
results-70300-17 Expired
6.47 KB
sha256:39f659bbf2116dc5f17b73816ae3328c281f20fdb4f89a67a441b0dfe7cc7009
results-70300-18 Expired
7.87 KB
sha256:2094009b369b32c5ef95755fda131b37621aa1c9cc449ace00931e52b40076ef
results-70300-2 Expired
8.86 KB
sha256:8135f253bc5db26f545c4990e139ae7c4ad04ae07e3c89df96cc8bc370f23a94
results-70300-3 Expired
12.5 KB
sha256:9264db6e3cd1a11f88af3b9022393b5d2ce67f2d71708bfafa13b6ae0a8210c1
results-70300-4 Expired
7.23 KB
sha256:c23aea2f0019b768f43ce1e4c1f399aeeb9421aea3b9990f4412cc53a915b4d2
results-70300-5 Expired
7.45 KB
sha256:a35e2663e1945d13bdfd46a06c2f5204f161a43b3be8baf65c321965e414acb0
results-70300-6 Expired
8.59 KB
sha256:432cf91c19259a500219d125f9d6dd7677ad48631f2701c4267d8c24b2ebecf2
results-70300-7 Expired
7.83 KB
sha256:75922a5f411cd973f1036c8ad4d8371da0f65fd3fcce140ecc1a7b9886bc0e27
results-70300-8 Expired
7.43 KB
sha256:20c2588d0810f232c5b2b7cd4433708c6941a1c21fd37adc55df4e14d722fda2
results-70300-9 Expired
9.43 KB
sha256:677f0be07fce0118c5f5c9eacf32a7f15c6debabd03c332806ce44507ae5a2da
results-70400-1 Expired
9.06 KB
sha256:faabe7cc23e4b08f0b8b4f5723a0aaa8429cb4df15340613d3fcb0126c209ed5
results-70400-10 Expired
8.51 KB
sha256:72fe26474bcf6aa0d1d400b8df26def0cd463df2d580480e6207d134437877fe
results-70400-11 Expired
8.52 KB
sha256:e3b492ad52de35e00c614bf39b680c8a600667a06c8b181fb30010af4ef01441
results-70400-12 Expired
8.63 KB
sha256:c2a43a9dd86e47de342d67b16e474e66104da375fef2936ab5b614f2fd34ec84
results-70400-13 Expired
9.24 KB
sha256:63cf894db411c454aba1d5beeeb1a166bc98517877aedb0076f833b568edcb31
results-70400-14 Expired
10.1 KB
sha256:44d6de8cb34cf56e1407de7e3239d007c7d68ef62d0a848d21cc82520190c58d
results-70400-15 Expired
9.6 KB
sha256:7787c3696b376fbd3995ef46ec5f0bf4978e4ffcb7290d977bbd34cc5bd8b75a
results-70400-16 Expired
7.64 KB
sha256:6f47d0cef14b479c46affc1cfdeaa5f894e983a2ae13d950d51d9ff386d3f961
results-70400-17 Expired
6.47 KB
sha256:b43abdc8b57acbfc2a796fdfe02d96123b5b1d53095b16fc496239de79e488cb
results-70400-18 Expired
7.87 KB
sha256:7ac058b62dbcf67fbc86294ff1e7f235b03c81afcc3dd2bdc33324ba71e066b7
results-70400-2 Expired
8.71 KB
sha256:6c6d711348960d3191f9f1cf3d5377600e6c402528eeb9655ec4d943d0bb7567
results-70400-3 Expired
12.4 KB
sha256:3f8a035d7caac056f3631930ef94f2e277c3946a3193166cf81a2b7651fcb30f
results-70400-4 Expired
7.23 KB
sha256:9a8ef1085ac4e7dd6a1a6628f5426047025f990a398e121a1151e98d6834131d
results-70400-5 Expired
7.45 KB
sha256:3e86746e49356fc696cff2f9cb3333cb698668ce5d0960596aecb6e78c6f06c6
results-70400-6 Expired
8.59 KB
sha256:44ea9a998fcc31491b230bd3beb474dbd7070ba1313670d514fcef31fba67b37
results-70400-7 Expired
7.76 KB
sha256:80840af26cf82ad96148c9b7033bf9b57fe24e61aa7f7755f13f4695db458419
results-70400-8 Expired
7.39 KB
sha256:b5f3f0e77c9362732ea6f04c2e0c80a6ec7da49292f0dd331b87774ec1b2957b
results-70400-9 Expired
9.44 KB
sha256:41d81f32c0aa05d3d6a21762ed974c23762c6bf31b74c6e7ad6aa25a852e278e
results-80000-1 Expired
7.13 KB
sha256:208c1b5c2653507195d1e2e0563d46d07beff5495abecab8f595d6b335eb7865
results-80000-10 Expired
7.85 KB
sha256:5175fa931acfcc399db8f266b8e6ec8714fa9125754374d970b1881404c1963e
results-80000-11 Expired
7.51 KB
sha256:6bf83bd307cc6aac38e37485f1d951813cf11c2cc864a41c67f8e49689bfceb2
results-80000-12 Expired
7.71 KB
sha256:88cbf7b5aed1fe42ebad65c807c95ef4f48c6c82abcdb4ab5a51fb0dfd5fb908
results-80000-13 Expired
7.87 KB
sha256:637cf77b8057cb761aadbb370ef37654bb2d1c32948a5d9278191b644b592fd6
results-80000-14 Expired
7.31 KB
sha256:8cc4322f65bc3c0bcf1012785f255a22149000a7689deb355256f34ac7f10b47
results-80000-15 Expired
8.17 KB
sha256:f5b2463164a4a60b32fb5f96e6fd25400272c29ea10506a49f54c5583d87e628
results-80000-16 Expired
7.01 KB
sha256:1c41f67813365f79b0df2f72d700d2d002065cb8162349f89a66c1b5622519b1
results-80000-17 Expired
6.41 KB
sha256:c7b7429ec1119b811c53ae851a5f747eb51b61abfe3e576d95ac09e999c82023
results-80000-18 Expired
7.12 KB
sha256:932793a9d67047b4e52052856d715da7116c352136450e508a4b49f18b0af1ac
results-80000-2 Expired
7.61 KB
sha256:3ec0acbd6e1835efa362b17c6bfc8f380035d0969189781e2fe0a5bad2c9f6b0
results-80000-3 Expired
11.4 KB
sha256:c709dd6f5c0df06f586321967508ee0902511fd1c4d81733d58d319166733856
results-80000-4 Expired
6.61 KB
sha256:95c1d1048ab2987e2a0615b8eb49b6ac1b311ccf6f99493e1b0db85a67902cb0
results-80000-5 Expired
6.84 KB
sha256:f5ccba806a2a8a841a090ace1c8d162581f312da69a578f819c38b88ecfe1bfb
results-80000-6 Expired
7.88 KB
sha256:63314709068fab8ead38b098a83ce5e6d352ab0a9efdf5a1cf0bf83627e09653
results-80000-7 Expired
7.3 KB
sha256:ccea2ea733b3a8efc32b9a40086a6347466a1d6bf233c17f1535f66f66d3f3fa
results-80000-8 Expired
6.87 KB
sha256:8b713adbc9ef90f52a0d2e5e0fbfd3e86f5b7e285492971bca2729b9367c8e3d
results-80000-9 Expired
7.47 KB
sha256:95f08995cf86978c9438fef33765c10a6a003f070c0fac4e9b1f9c09d95a0337
results-80100-1 Expired
7.03 KB
sha256:dfeff21a966908cf1c76e4eb786c8bf9a29b7c0eef5cedf847eeaa8934046605
results-80100-10 Expired
8.05 KB
sha256:ac9b41906e7e4860b01cf024307229219ff3e812d0f493d5cd0cf195b1e97f9d
results-80100-11 Expired
7.71 KB
sha256:587d539cdb61c6adf24159944050d6d6d8a7341960fefd3c2d8e6f723b8115b2
results-80100-12 Expired
7.91 KB
sha256:73e3c05d8f5aeea54ad60e81dc44d51b25e0bb032360d74b3a12897611c209fa
results-80100-13 Expired
7.89 KB
sha256:60bda3261fe9e74e021e9c478f5265e4f34f6f9b03f294571723a1f13a780549
results-80100-14 Expired
7.33 KB
sha256:49c2376e74d1ad41ecdff72121d20287b94192fe6778c9ed9e9986601d465501
results-80100-15 Expired
8.06 KB
sha256:1ba34c3ad85c0c3e593ac3d51c4b9dd6c773b4186f9678e114af855c530c15d0
results-80100-16 Expired
7.01 KB
sha256:8e64ceeb04c90260a24780da848f578bb2626a4cf833c17835b2ce2189c304af
results-80100-17 Expired
6.41 KB
sha256:6e3db2391d8b8ca37ee13ad50341e32958f7feac7c2c2976bdea781cbf05f259
results-80100-18 Expired
7.11 KB
sha256:3b7254e7463e7a2a90c05dab7be0252fa47a294b9b2ccfe2d4cc08bf0d33e26c
results-80100-2 Expired
7.66 KB
sha256:84c0b49ede345283512ef90e5479a074ba97d86ce1192bb51779932cd342c399
results-80100-3 Expired
11.5 KB
sha256:60bcf713711da909e2f124589969248bbc2b5ce6e269a522a9248057254633d3
results-80100-4 Expired
6.46 KB
sha256:1363390a7a9fc080f77d16667a3249463bcd9932fb143e6c3dbae4a1831acb98
results-80100-5 Expired
7.12 KB
sha256:c89aebf1533352315949878d58173b29cfce827af6ca92ac9c2aea63516bbd49
results-80100-6 Expired
7.73 KB
sha256:a7a10197d104b8a238a1b99aa24edf6b6b84a325969e36d22d8a08449bb41f93
results-80100-7 Expired
7.19 KB
sha256:bf7149b2092f964515b58d2ac9ccfd14dfe7783428d40cc6ede67ec168a0c1b4
results-80100-8 Expired
6.89 KB
sha256:1298e6dd661bfdf30250931b8859a886a0986869ce4ef2957c573f20e748d466
results-80100-9 Expired
8.28 KB
sha256:fe0d15d39670c6daea0b1e08244f4c01d2916e7924dff22157da8f10f9a1b545
results-80200-1 Expired
6.98 KB
sha256:795107beffb3b204d439790592eed89737b46aa352040f5ec391a04f4b1191d9
results-80200-10 Expired
7.95 KB
sha256:039d0ff203dcd23a147c4cc574cfda5ed9dcd1ec04f68aca5c6cd8ca89e4caa7
results-80200-11 Expired
7.52 KB
sha256:e0ed9368b938d56b577bd3d7d9a7089ca8208e254ca80aeaa7b0cfca45b4a4a9
results-80200-12 Expired
7.94 KB
sha256:a2632f9d4613da1828eae12f40844201133571ede509138c953b61ef0d612acb
results-80200-13 Expired
7.92 KB
sha256:5467df537f7f53b6d9ef82aa7d54f60e65895828dda35894526ddb060afa1149
results-80200-14 Expired
7.33 KB
sha256:a7e2bdf6907c0e9f7bfe00d9550a502a5fdc6f62f45882f4b1d971961625d84d
results-80200-15 Expired
8.07 KB
sha256:9526d338f4d2e7423d1ddf95a94294db829bca1c69a0bc927878d6f40a03f304
results-80200-16 Expired
7.01 KB
sha256:130cf07d362977e63bc88fccfe12dfeccc28789815731ef38dc5169072530e31
results-80200-17 Expired
6.41 KB
sha256:2cf405a07986f4395483d7cd3abe727756b60962bd3c14f3c40419ecde340956
results-80200-18 Expired
7.07 KB
sha256:49fa78a1039fd92e7bb070a99c0e9a1eae8afe99279ce66bbb54f77b5ec349d0
results-80200-2 Expired
7.66 KB
sha256:74eac3d8a09bd7a3e8c37c68ee1506a342e6c0ffc50b217442e269b8a0191b43
results-80200-3 Expired
11.5 KB
sha256:47535978a7f3b3941f7da9743b3730af62192d74524a098b42c61b8e369b47c0
results-80200-4 Expired
6.5 KB
sha256:aaf358a8ca23527130e1d23426e3bc7f15881eef169553a0bc27532ce9b0fb1a
results-80200-5 Expired
7.07 KB
sha256:dbd926f802af1c32b937dcdb85b2562f2d3cf1dcf946e5ffc57180077b3e50bb
results-80200-6 Expired
7.76 KB
sha256:da67e2ec982ee530709e38e033804ec4dd874d966be61427a8ee6472bc90c6ba
results-80200-7 Expired
7.25 KB
sha256:87c408b4c1759be7228136fc740da7f3fac119d0cf15b6c025d04571b72296ff
results-80200-8 Expired
6.82 KB
sha256:01e03596e7c8c04880c2067ccec4a1946b3cbc0113747de20e90c1f3f19b61b0
results-80200-9 Expired
7.91 KB
sha256:fa486d6312e0c5f3522c2d30d434162d36d64c6d0b4c413f24cad930fefc5b00
results-80300-1 Expired
6.89 KB
sha256:ccf51eef2d849b8dceb4ea5980c8bbfe162a9c2056c9b9f9b8ff0e291ab1004a
results-80300-10 Expired
7.86 KB
sha256:fc56591c87b4bdce06e6794264f0ae8a157217392353a6e1ae531112951ec12c
results-80300-11 Expired
7.52 KB
sha256:46a4b539669b61b18ce15799abe65b356c8356ce980bef59ad67bae1c31181a6
results-80300-12 Expired
7.94 KB
sha256:4cd9414130c0e16773cc947f81d18fa64c6b3281fdce3163a652e252c23c8079
results-80300-13 Expired
7.79 KB
sha256:9ddab4834b0d31b6af794f622672eac2850d409bf5ac14f3a8f5843f15a59355
results-80300-14 Expired
7.35 KB
sha256:e8cf55ce4fdf87d0b08ce75e2a04f4b8d6f2b593e3b38b3f656fbe0a494f65d0
results-80300-15 Expired
8.07 KB
sha256:da1188b4997d8c3a5072adb59b5b4f7b65842f598a4bd79847107315683b88d9
results-80300-16 Expired
7.01 KB
sha256:a8425ead74c24353f480084f3ca5fe5cadd377de021ec0129c1541417fd6b28f
results-80300-17 Expired
6.41 KB
sha256:54be2bfb1fc7739f206c359a453413226344e971587e89d3d40d7e6de74079ac
results-80300-18 Expired
7 KB
sha256:0ae6b458ebcbbe3e09e91aec272245752bab948b2202775d79004594027cfdae
results-80300-2 Expired
7.58 KB
sha256:e67db839c7bdced621ace78d22631daddfb6bbddb1b3c2c28ed23d2df751849f
results-80300-3 Expired
11.5 KB
sha256:26744f955cdd83ce3635cd37301b0e1fc1b69be4379915e398f31be90b45fe60
results-80300-4 Expired
6.5 KB
sha256:d3d2b2fd3d3855d7b4861971cd0f6f7a3c75a5a0d3aa49d89e2845ab24d06959
results-80300-5 Expired
7.07 KB
sha256:15912ef664539c736b33760cc8fb075e56afc0afff0d9cded803575f3fa7c8ac
results-80300-6 Expired
7.76 KB
sha256:0ef7341bc6ab1ce49b68575a5aef491eea935618395619f24774c4c65322c2db
results-80300-7 Expired
7.25 KB
sha256:56319ad0026103e3870e657ccd0266b7ab2d324648444e846469c48e8c9541d3
results-80300-8 Expired
6.82 KB
sha256:de76add8644edb95800de9f86e9bfb6a61b8d95363b97fbe5d61801efaa38901
results-80300-9 Expired
7.91 KB
sha256:1fb1ffdc8d15dd99697f7bd941f640e28acbada19bdf56a95a76bede5dfe0be7
results-80400-1 Expired
6.78 KB
sha256:d2f49bb687c0f18f5d5b143fe0546d976babe8d9dfc2d78c94c59aee9c1b9996
results-80400-10 Expired
7.86 KB
sha256:937454722761e72b3ea17af1be8db1e21debb6e81d2cf4ff43395bca9cf26bfb
results-80400-11 Expired
7.52 KB
sha256:c8efcf8d6b8796ed0fa129cb214350a3cece6800569b712e1d25f728407f3582
results-80400-12 Expired
7.9 KB
sha256:44c0aec8fa1318d30f06e6ac20872544f066e40bb19ac15d141c6af1c4d55f70
results-80400-13 Expired
7.78 KB
sha256:4e50e1efc27d5eb52c21df916266ba7ee1604992f401c5036d06d15f46646f6b
results-80400-14 Expired
7.35 KB
sha256:de69f6421d24202e410222fb5f84471eb7b32532c6e8c6d3a79d34cccaba1f20
results-80400-15 Expired
8.16 KB
sha256:df115a72bd2fa6b455d83b49f9a7bd38c06083a6405ed165f16ddd28c13aa08c
results-80400-16 Expired
7.01 KB
sha256:02803d1abd41b9a52661aebbc1f5925f66c7adf6d76b93d1968803ee9cd12424
results-80400-17 Expired
6.41 KB
sha256:c074c033ab665fa4bbe96828c182bb062a0c4b38b0a3385f151ae8cab466982d
results-80400-18 Expired
6.96 KB
sha256:08e0b1844f6bbbd3c831317eb1ccd84cd9ca22b84b423f017a40725f49fbfbc2
results-80400-2 Expired
7.58 KB
sha256:d4e1a576f9e6037b8e5c610386616e4dd8bfb35f6bbc6f0376fd628c54cf014e
results-80400-3 Expired
11.5 KB
sha256:65065c4545fa80ebd7d6cb94c40914c7a99588c104355f6fd542561e6b9f2dbb
results-80400-4 Expired
6.57 KB
sha256:2687564c69c56b90b9fbd7c62aba9df97c47af572431e4af297a9b2eb027ec76
results-80400-5 Expired
7.07 KB
sha256:1d9e5c2577cc6ed58040433237c3f42977c5a888f19c4763b8bbb9622c0891cd
results-80400-6 Expired
7.76 KB
sha256:3c63c6c5947cba4701b7713f9f623ec0b694106aebf280220a686652ce6cfa1d
results-80400-7 Expired
7.25 KB
sha256:230dbe9b73f77ef34b66baaaf8098e54d2169343e10d906002eceb24a5490f25
results-80400-8 Expired
6.79 KB
sha256:874c302728c10bb91e40f29e8ccad3e814b316b0e72726077c73138f1e58595c
results-80400-9 Expired
7.86 KB
sha256:92e6bcfe30588a279baa3d1e901eca7dcc3c84e69920dac759ae9a930a446ad4