Skip to content

Improve loose comparison on IntegerRange containing zero #9697

Improve loose comparison on IntegerRange containing zero

Improve loose comparison on IntegerRange containing zero #9697

Triggered via pull request January 2, 2025 15:59
Status Success
Total duration 4m 17s
Artifacts 146

issue-bot.yml

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

Annotations

146 warnings
Download data
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Evaluate results
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
555 KB
sha256:665fcfea2b83064eb3c781fd76559648d1f81c4675ef4bbb14db9e936f8aaf30
playground-cache Expired
478 KB
sha256:daffea14f3c274f5b96ba7fb5584ff7847a8ac9acb810be0389e609783be1d39
results-70200-1 Expired
6.81 KB
sha256:3644e37cd30d1764921da7eda4fadbb93fae16595fb4972b6ad63c0a77d63397
results-70200-10 Expired
10.7 KB
sha256:b29aa11f75950b78036a5fe7bc155709f26f82999a15d821006b435de5f62220
results-70200-11 Expired
8.6 KB
sha256:8c4a8484041af996eb0836085c44262aa60b05363af134820297493135b345dd
results-70200-12 Expired
7.7 KB
sha256:ec9a5a9ecf9444129dcf694f545f76668a2e9023c6297182beb355289d6e8334
results-70200-13 Expired
12.3 KB
sha256:8b89cc4ba46e5144d53427c7bf85ffa94676376896229da146ec07ee8f4ea720
results-70200-14 Expired
14.4 KB
sha256:0c6a4bdf6bcb029d327851c3aadd08644148ae33609de1b8a7ea458af5787751
results-70200-15 Expired
8.63 KB
sha256:53d9539135e3d9c5d208cbf189750bf8695ead593768d47f8292e16775627945
results-70200-16 Expired
7.61 KB
sha256:1d45bb8224b071ee41af584c7c1650fdf42c36907043f1279fcda48dd5f38ace
results-70200-17 Expired
8.62 KB
sha256:1ea13a69a55762e7c398c3a2d1437a0ea575c951d31263ba38f30510e8018a54
results-70200-18 Expired
9.15 KB
sha256:402fae4f4acde45295214995e0cd7172cdac129d0089a03379b64c3cfdbef65e
results-70200-2 Expired
8.19 KB
sha256:485c4049745471b7abf3edab4f93aa0ac12e407cd09793ace62bf3234dcce51e
results-70200-3 Expired
8.46 KB
sha256:49d01e6b2751cf22fa29be7f1225f2b4fa31a9e24f1ed82f785c067d2cdec58b
results-70200-4 Expired
6.86 KB
sha256:ea7d3e6743c9f3fe54dbeac2b56b07413e0d7560e625fc8cba72e0c7b165757d
results-70200-5 Expired
8 KB
sha256:8b80cdaf95f30946461174cd2ac0af7c7032a90ce519a71363af9c4de610ee02
results-70200-6 Expired
9.16 KB
sha256:83128b62edccff521f5eeab6a9acfd015b2d510f2ce1669b638d008ea1c7ebc9
results-70200-7 Expired
9.1 KB
sha256:fd1f65df30d6b1e35358edf516bb18bb9aa0d56b73e2f16d56ace0fa15dcb794
results-70200-8 Expired
7.16 KB
sha256:537cd9d792a0f44f7aba99a6d67668558cf6e751839812ca9b843d53e3832bab
results-70200-9 Expired
6.97 KB
sha256:73d01b1554c9e1f641474850562562b819a66eba950e307ed32b0dd371030b04
results-70300-1 Expired
6.81 KB
sha256:dc5fc868bc2fcf7419c222ae81db80cbaa7983ad79ccdb64e937af3a07198a97
results-70300-10 Expired
10.7 KB
sha256:73c88038da3284c8a25c9c7044ac637d88e58da831fcafb61aa9720d5212dc72
results-70300-11 Expired
8.6 KB
sha256:f042c8e4d918414e729c00d0da5d61c81c4478885e6367fdfbf572b276aaa642
results-70300-12 Expired
7.7 KB
sha256:9135eafd38aad691fc85cb42f915a3c0eac8d9c16ed62bbabc9cb944c4e1fc57
results-70300-13 Expired
12.3 KB
sha256:a29f2f706b2128553349dd26ffb4512086054387cd05301e92dda1dda61332da
results-70300-14 Expired
14.4 KB
sha256:5b360fbe5c9c5622733d210366f1b1ce423543a4f1509eef0cfefd9ba1da4796
results-70300-15 Expired
8.62 KB
sha256:dbd533155dcb8b67a7d77cec427aae0710b2668ce892cecd9193cae3da2ed931
results-70300-16 Expired
7.61 KB
sha256:de1bf69f67e82312c04bc00ae04b37befe13fdfe7c3800cf9b8008722ecd08c7
results-70300-17 Expired
8.59 KB
sha256:c0d0777debfcd74d9db5b63b847b361d98937281f214fc5e39b1637fc543b62a
results-70300-18 Expired
9.13 KB
sha256:a36232f5bf219cffeaeed7ec23b0fa1890559ebdb3075286cbe7d1cbad4b3ff4
results-70300-2 Expired
8.19 KB
sha256:e9c5e48db3468388f3629964cfdbdb78add58cb6c38b8cf401beffc47c4cec3c
results-70300-3 Expired
8.42 KB
sha256:dbbe5e73f8797782e0410696231580c666edf0adbc292f1b2b9f0e4818cf894f
results-70300-4 Expired
6.86 KB
sha256:ba3ff8b815fae926eae2b551742cd3a7e2cb6b60dfc0c6c219c9eead157e4830
results-70300-5 Expired
7.94 KB
sha256:1e6f48fd5a994ab318891aee65558435917e6ab57d40367fc24cb386caa56fbc
results-70300-6 Expired
9.16 KB
sha256:a012b0264cca4b8b6a408f675d6961b4a01205ee55ef8567d1d9fff61b7a1e12
results-70300-7 Expired
9.1 KB
sha256:508db043fbc52d78801dc2d4df42eabe26aaefba497f7bb086a485cc298405a1
results-70300-8 Expired
7.16 KB
sha256:3f34e6c15f8e1e31908f1b07de2362fb153e7e4227c1e28fd6888672a66094e2
results-70300-9 Expired
6.97 KB
sha256:f2557b74e4edb5385f28413a8dde611a47d0e013898286ac88095adaf838cbeb
results-70400-1 Expired
6.81 KB
sha256:2ddcf33558c6e72da5966daa9f1f4a247beb6cdc1c1b55a4c0c22747d306db41
results-70400-10 Expired
10.6 KB
sha256:5205a52457c500f614e14632f6556727d43dd0eae7d3105577e99876a6492938
results-70400-11 Expired
8.6 KB
sha256:5efd3b08a7d57a8ad335cc6f5388d9674b33998930739518cf63417f1907bfb8
results-70400-12 Expired
7.68 KB
sha256:178fc64a206ee1805e85250c4783ac07bdc10f7a0e6a8dac546ed4969dc59d9a
results-70400-13 Expired
12.1 KB
sha256:25c19d184bc7d961825a92c6e1bf7167882fb1ecdb0a835dd8dc749946553291
results-70400-14 Expired
14.3 KB
sha256:091e617fea48f4488c6e5636ddf275d0ae726bbfbb05ff8003a6570a7262720f
results-70400-15 Expired
8.52 KB
sha256:a9653314ca6b891ab7bc367f49e97b11612499a34541fea04e108d617111de2c
results-70400-16 Expired
7.43 KB
sha256:b3b27db6dfd77a787b7c94c3b6307cfff4831cd0d55113be5a9619df09a1545b
results-70400-17 Expired
8.59 KB
sha256:e6217beacd40049ec4f68f7f53faf57aeca05c8cdd3af74a2b1c420fc1eac7c0
results-70400-18 Expired
9.05 KB
sha256:cc2e932ca0835189af62ddf80a2e2b2c5c376e18e44dd0bfbdb5e5ea56dde2fc
results-70400-2 Expired
8.19 KB
sha256:a0c341095bc6472be6749d3c42ed47cb9bcccfa925d9b9f4d91f0361aaf9d779
results-70400-3 Expired
8.42 KB
sha256:f9fdfc984bf51e0474f6671809ac62377f3bddf152ac8e5fbe6260de1b5cd587
results-70400-4 Expired
6.79 KB
sha256:eb3b4bc783d35ea7599c6afca4c85b3a36e4dfaa07b423d203328eae1e9719d2
results-70400-5 Expired
7.95 KB
sha256:b3db0e0cd6a3101bd7501bc1608efe010e60acfd606313b0869ca8a29a7e93d0
results-70400-6 Expired
9.18 KB
sha256:4494740c9c58c6d93e9eb342ea3453a96068c9c2799f056e7dbfad34ca9b6c66
results-70400-7 Expired
9.1 KB
sha256:b9445d5d93f78529803c16713ad3f73d17a311446b3db924b092248f42d8f5be
results-70400-8 Expired
7.16 KB
sha256:8ca7f24eeb8f60d65e61733a42c825215f81c3066c489759e135a07074da3199
results-70400-9 Expired
6.97 KB
sha256:912b2cdd1261a4d41ce747e9a39f511c45a01697b18a81fe9f092e81f086ea1c
results-80000-1 Expired
6.16 KB
sha256:d196a2ff1aafb687e855da9d63b4a281903c7a7904b07a92e8a481a3583ab650
results-80000-10 Expired
7.95 KB
sha256:009572b648be6b704216e8bf2cff4058c30cad82d8b539fab3260d48cf5950ec
results-80000-11 Expired
7.46 KB
sha256:9c36fe81c652013140fee59893b469120cced75ab8a6704e8d5b72ffb250a500
results-80000-12 Expired
7.31 KB
sha256:8e331eb126bc205c2d9278c53b31f183c7ed5ed55a6c782a923ff6e7b2567e5f
results-80000-13 Expired
11 KB
sha256:0fbf47f56b0ee5a75b70b69d52352ce66f5bed1d151a9a7ba079ec7ac4a9237d
results-80000-14 Expired
13.4 KB
sha256:225b79ee4ed2082d7972e86d39cf1528056dcec4cf85fa101247ed98fed9a3e7
results-80000-15 Expired
7.83 KB
sha256:9c119e3e0f927a2498409cf42a3b3ce7b234d05d8cb0b432cb48cfed7d5695ab
results-80000-16 Expired
6.65 KB
sha256:ed4564dbbf6f82c4bf36839fef2ff83b23bc3f96dccd6cd62eb0962e5da79b52
results-80000-17 Expired
7.27 KB
sha256:afc31737f23bae6a7b8b3072a048b844673a39186fe16b034de8e0f5447db25a
results-80000-18 Expired
7.77 KB
sha256:391457a237a3934f4032c3241afd4cf44dadde0f930bc7744a26cb0fdefd0d0f
results-80000-2 Expired
7.32 KB
sha256:42e4a5fcdcec4adf538d809ff01f3c004dee58f583bb9c74abfe3b699040962f
results-80000-3 Expired
7.87 KB
sha256:f3c8584d715e78a669714a1fd98ff73869e4d986e3f902312e026220d4c72621
results-80000-4 Expired
6.51 KB
sha256:aa3730f2b8470b6b36393aca108738e0d2e6061dde81e8e25374fae777333f79
results-80000-5 Expired
6.76 KB
sha256:2d17fbf5d8e363e5811fb6e9dfa056167857f92d917f2bebb3647f096a391cb9
results-80000-6 Expired
6.87 KB
sha256:59d642200faf79222ad940aeec53a9b20296da3817e2a507425e1926d6727dd1
results-80000-7 Expired
8 KB
sha256:dc21d617032f70cc3ed4dffc9eecebb27feb1d6ca5ee290abbdc0c2e02d19557
results-80000-8 Expired
6.53 KB
sha256:7f44bb0c4eea8d7f6438db7778bac9df04a669805ac74012bb22f65e345a90bb
results-80000-9 Expired
6.41 KB
sha256:784ac8a47aa5661970e5e140010ce879285d3de9008ae6234166f9bc955f6b17
results-80100-1 Expired
6.25 KB
sha256:ba966b85e7c11ac9babe2ca49513f368c6b3c9eb27ef3dacb3ceef43ecaae561
results-80100-10 Expired
7.79 KB
sha256:17a38fa3260f61658021ab7f10f5f3d5c1c9b27fba52f17d24436f828f11c1c8
results-80100-11 Expired
7.64 KB
sha256:084c31080409eac2166c0721891304440d80ab5a168e71a9a80cc01289fff872
results-80100-12 Expired
7.59 KB
sha256:4904b71536e2134fc5d27ecb2286bb61c61705f9948553aa3ede6f6ca93b3f82
results-80100-13 Expired
11.1 KB
sha256:cab717989fb0b630cdf07bb87266ce43a39bc7a1756f56b4d9e0a089b852eb8e
results-80100-14 Expired
13.6 KB
sha256:ef67c0c4faf9c35fde9520964ddcc7a7cb65e3011d40354018262a99bd0817ca
results-80100-15 Expired
7.86 KB
sha256:2eba2e956895b57c1ede63effebfccaf92a09ae3073b3fd0e4b9686ba59e6224
results-80100-16 Expired
6.82 KB
sha256:f5b0050911698d3208b0fdc010f11966a8766e01e917897239aadbd37248696a
results-80100-17 Expired
7.44 KB
sha256:bb18e26f7cd976b8b3070714ad2fb3587595bd1e85facf395a95b51cde3e4df7
results-80100-18 Expired
8.03 KB
sha256:cf6b77c9773571c85f6a8d5ac12c5c9c442c80bc2b5f0da39fcd97f2fc392d03
results-80100-2 Expired
7.36 KB
sha256:ac5e629602628d84abb8db154c50b62ec989b3f6b76673030f21df722d6edc31
results-80100-3 Expired
7.8 KB
sha256:60746debd7ce94fdce15ef1c4e93bdd342ad00b10da8ebc9642c201d93127a9a
results-80100-4 Expired
6.41 KB
sha256:ca81ed1f819c7328f4d2e44604ce602ce1c4e8418d5e07d79d1de2d7ad58a83c
results-80100-5 Expired
6.77 KB
sha256:72308dc5359e82eaaac4b6615355bac8d0938eaff2ab2d092eea0fa101573897
results-80100-6 Expired
6.78 KB
sha256:da8f22b7d2c4eca3eb25de6716b426fcf16ca1139cacd899194a86e5bb502f69
results-80100-7 Expired
7.92 KB
sha256:6f89eb4fd3b5b22aa79accedcaabb47a6bf2ce5f1e81d44d2e6178fcb44ec2df
results-80100-8 Expired
6.53 KB
sha256:9924e2807044feb48e12be316ba909c3ec7e30c25f32f480de0b4ba5a806a3bf
results-80100-9 Expired
6.48 KB
sha256:27e1368ec1dcf413b0094e85852163c3446da4b27d029adf5b4b8f0a52bc431a
results-80200-1 Expired
6.29 KB
sha256:5f1f7504780548527f089e7923bb2873c262538ac1a4f6de4462003e61f38b42
results-80200-10 Expired
7.85 KB
sha256:da6777aa0df4dfec6b1459ebb00064b89bb8bc2d3fecc3dfd70cab9c74572368
results-80200-11 Expired
7.64 KB
sha256:177de1c9f35ae350c55bcdf67e3750233ddec73124713dbc2be61501d5cbc6eb
results-80200-12 Expired
7.5 KB
sha256:c2cce6a0ba135842fdb2059b845bb5604b75641e1cac7f395475da24cdee85d8
results-80200-13 Expired
11 KB
sha256:f30ff2e9112521828cf9c7b9a1ddccb69a9f2c4fdae4a8cd8f4c1ba730a380bd
results-80200-14 Expired
13.5 KB
sha256:cc09f53ec663ce8f09bcfeb0bac246cb9c8603b33b51fb77112b42481b49b752
results-80200-15 Expired
7.77 KB
sha256:a90e09d7f384b01a63b8f25ad9e2a71a4148c6f79e41b77bd23bed7cf30836d8
results-80200-16 Expired
6.72 KB
sha256:b0db9143becb900e5333b4bdc5f7cd6535180413b6b6e7c75ed876a6590ac0c0
results-80200-17 Expired
7.21 KB
sha256:f6af0ced95ed8229662a2d3482b0e85043f353aa53c8f74eabce158743bed12a
results-80200-18 Expired
7.9 KB
sha256:124d8a48c27aa3674cbd0cd7851f7beab1ed999739ba91078d0cf9f730bbd7d2
results-80200-2 Expired
7.39 KB
sha256:0bd987848596705713de9c1e1187d5110b664316bebba43a0db01379a7222e5b
results-80200-3 Expired
7.84 KB
sha256:4b87f2e1bb07a40410d47014c37e5b002ce648b938da3b411180e559fd605228
results-80200-4 Expired
6.41 KB
sha256:15c4d3c91b328d407b58e97301bee39f315b7a0f8e1b39c15e4f62ae445b01f8
results-80200-5 Expired
6.75 KB
sha256:62aa48f1b3f04346d4dc2133fe5709168740a2bab25a18e93828ef8f0b78be5c
results-80200-6 Expired
6.78 KB
sha256:b515fd0061b78e0334b96007acaa9f1a20a2c1ce3deb3116ceae4536690253b2
results-80200-7 Expired
7.93 KB
sha256:3732257d9bdb55ccc3fa71c8c7b0817de6500f7b19cd720cfadf3e982e2b4fd4
results-80200-8 Expired
6.53 KB
sha256:58712c61c1140bbbac1a65a3c838babce72852b3f083c428e747f0d4a97372f3
results-80200-9 Expired
6.48 KB
sha256:15c052659a7808a61757fa7269da1c5e731627e1662a70205dfe704b2e5ad877
results-80300-1 Expired
6.29 KB
sha256:509d674a0fb794f8c0fb82705d17b464e4eedaec1c04d1c0b1b9c239d7a8da76
results-80300-10 Expired
7.85 KB
sha256:f123ae5b9c38da5102f8e119d555ea765eb3194e8d03f622477fc2567c2f65cc
results-80300-11 Expired
7.64 KB
sha256:147070139e6a07dca2dd9a28cbf76d08889b0d9d8e069af3e08905203844b35f
results-80300-12 Expired
7.5 KB
sha256:66f57cdae12b0d610f27bbe129023457c404effaecdd7917255f675f58d56bab
results-80300-13 Expired
11 KB
sha256:8408fce6cab67f414076687ff5cd984c06d4b332be065bb91f1504363aedb70b
results-80300-14 Expired
13.4 KB
sha256:463b140e0cfcf5734a297fd4fcbb2c4cd076df6dd02036359ca86f696e1bab42
results-80300-15 Expired
7.69 KB
sha256:417e13605d666289ca27832b94f3d585a4027ae7e6d2184a5829ce448228d007
results-80300-16 Expired
6.72 KB
sha256:6feef157c46adfed8fb4da6b23b46bcaf41ac53fc690c45a47ed5955a39ec769
results-80300-17 Expired
7.14 KB
sha256:2e05bf5b86d384fef1db97adfa723c7dfa58e940b8a00a00ee1f9cab77ae7a5c
results-80300-18 Expired
7.9 KB
sha256:aef350edddcfac17ab79c522d49a354b4ea5d4fbb1a10631c209af75237790fc
results-80300-2 Expired
7.39 KB
sha256:fe7cbab49ad89852f8ee7a5d5e49aaeb93ff054795f09d839c8e42c630059790
results-80300-3 Expired
7.84 KB
sha256:d3d86cb4d1143daf414a820253ff146bcaab7a44870f7d7dc9576aa4121a46d6
results-80300-4 Expired
6.41 KB
sha256:d24e94d49e950e458dddcf78b1f908e78315458f9057a64ab46b79c120710be4
results-80300-5 Expired
6.76 KB
sha256:b201cf7452d31dd740ab75d8d3df971b6e00523b9769b4359134ef2871353e96
results-80300-6 Expired
6.78 KB
sha256:6126f34c6b517ca29acc1361da6ed8fc6b4c4a1d54bd158c7c5132dc2a011a0a
results-80300-7 Expired
7.93 KB
sha256:54070dc2df594e63597b0e93e367d83ee8f74cd8772a053ce8a64b79105d79cc
results-80300-8 Expired
6.53 KB
sha256:6ddb072d4691c167c9314b851fc37ba61ab335a42e21fc9345f9e068df251d5e
results-80300-9 Expired
6.48 KB
sha256:7b5c3794c718be472f1b4872b3347bcc573fd94951172a0e5482c5437c7ee14b
results-80400-1 Expired
6.29 KB
sha256:8d9cf55132922ac7a3103d358891a68f7a1c43fe3026bfb702dd6648743945a6
results-80400-10 Expired
7.85 KB
sha256:2e7ea6470a738f0efb6cfb793643682389355660db0bda2f235571f102a053e0
results-80400-11 Expired
7.67 KB
sha256:5785a5163be85801a84d9c193984bd88cf5e16bb90e82b2f060bb58853a51d3b
results-80400-12 Expired
7.5 KB
sha256:fc00394b51382ab06a90556ddd585634477a042dd804afc637096315042ddb82
results-80400-13 Expired
11 KB
sha256:9dfd28b9bb93cc17ef2e5eb8ae544ec25683e60679dbb65b46d7c43811b99cc3
results-80400-14 Expired
13.4 KB
sha256:4c0715911df3b1f0e79123ef1b0acaf9a5f853298af31d2ab2a0299be873f231
results-80400-15 Expired
7.69 KB
sha256:0eaeb8187a5a8e43fa2901f1b62523cee38927545353203300ae3deb7c02d563
results-80400-16 Expired
6.72 KB
sha256:fe64fda725ced4abe701553eebb1acc11d79ab6ef8427888a0e555127a29d6b2
results-80400-17 Expired
7.14 KB
sha256:d7326761f7c266f7d495e95378bf7245a49b0cc1d1ad903503fa01b3c6271cd4
results-80400-18 Expired
7.83 KB
sha256:ee306142e87f8b255d388540ace69aa1d616027ae00ec84c0b19ef04f9efed7c
results-80400-2 Expired
7.38 KB
sha256:a13514be28656d37f11ab38fafe20412fbe7e8a687bc1d3a8d5cbb94fc021565
results-80400-3 Expired
7.84 KB
sha256:99cc4962445ae118485681324591d0cd2e18676798ddb2ea7c673d9180de8e29
results-80400-4 Expired
6.41 KB
sha256:9c6c218c3bd42d0c6b7d940cea860fa37b08c8c08622a06021855e3cc38bf7f8
results-80400-5 Expired
6.71 KB
sha256:851e40969c2da88d8cdd900c439190d6cf9de6f21adf293f5287ebac8121de46
results-80400-6 Expired
6.87 KB
sha256:29df29a3efb55d27ab377773a4245cd2e78dba2f673d788d1376aee67019600d
results-80400-7 Expired
8.01 KB
sha256:6646888ac9386e346b727d1f642960ecca32505e6d4bb8459b7ee79f824dab85
results-80400-8 Expired
6.53 KB
sha256:c7f25236362d63a96cdb51dd5de6af38e1ca82ce098a4d21247314b6219d7843
results-80400-9 Expired
6.48 KB
sha256:8489b11c9683bbeb50dccad4c255dc82004119b9b89e8497c7700f488fc7786f