Skip to content

Improve loose comparison on IntegerRange containing zero #9696

Improve loose comparison on IntegerRange containing zero

Improve loose comparison on IntegerRange containing zero #9696

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

issue-bot.yml

on: pull_request
Download data
21s
Download data
Matrix: Analyse
Evaluate results
19s
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:d5317967838231b6ba4324a0e6e51f252602080887edbb11366e516b73a53024
playground-cache Expired
478 KB
sha256:ecd1bbef692e70faba43941dc060a7fadb1df27cf93b368782dc4dc83fbfd816
results-70200-1 Expired
6.81 KB
sha256:83f3fa036e50dab030ac2d2c24bda6616c0a7824e7053fe551e66732d0fa5f73
results-70200-10 Expired
10.7 KB
sha256:64162b3a6a97414a0660e61235c915f7f72c2192792ba47c46fa970cba830834
results-70200-11 Expired
8.6 KB
sha256:53d97ff8cdcf701c6e8bf3c03a582b2f2e6252bb6deef6df76d1ebcf7eab85ef
results-70200-12 Expired
7.7 KB
sha256:8657971578bae8d82c65702b6da9da6d23630837bdd677d94c81d956bc553cad
results-70200-13 Expired
12.3 KB
sha256:a08479813e7a2f53c26c9753d5967d3d04afa70654b6d9c7e318b5d55188f756
results-70200-14 Expired
14.4 KB
sha256:be7470e4ab616c2e6cb30d3845e5f3b244551a085a55339218c8eed4051a0b4f
results-70200-15 Expired
8.63 KB
sha256:e46ccaf7ff1f6c22a3a66574bc8d3114b6ac767c5a26026f9ece2403a42190c0
results-70200-16 Expired
7.61 KB
sha256:45d3abad4013db290c83766a4922c253447546b9419b437b69287168a09fcfec
results-70200-17 Expired
8.62 KB
sha256:a3c95dcc7323cd50dec2347f73d12ec0e7f55527886fb147fcb15f7474d829ad
results-70200-18 Expired
9.15 KB
sha256:fc34a4d39d9c2671da5affa9c6a5cbb7f1dfc31d4907e04c1a7d6552c57194ca
results-70200-2 Expired
8.19 KB
sha256:7c3fec7d1200a56447d57a765c04f972544f7ddf7b9e098cb83bbc17bd5acbff
results-70200-3 Expired
8.46 KB
sha256:bdc4745ece51762fa1849b7c29249d7cacabffd30d97b283305916cc4adfae61
results-70200-4 Expired
6.86 KB
sha256:8b04ad297050c88a5655f0b21046520747f56dd82db4ff2c35110e75da0ded50
results-70200-5 Expired
8 KB
sha256:b5b2e43f8c81e11c7b2785c475c8c334b481121c7bfa6a7fd601c6d3e582d6ec
results-70200-6 Expired
9.16 KB
sha256:5f0d6a9b584885220a92f72c04e33d8303ec8350b689d13648c25ed1470680cc
results-70200-7 Expired
9.1 KB
sha256:2fc0c8afa2c8280a7944e3ff462ce292ca382e1806f6300e82b37845020cb5b8
results-70200-8 Expired
7.16 KB
sha256:31674d6fbf1138172f5988bc8fe3b5980ce8f9e50a292e6eb28cd9085145e332
results-70200-9 Expired
6.97 KB
sha256:1f092fe9b8288a5fe11fb7ef0d3383b2117d411a374241d33d72b1dbbdf11987
results-70300-1 Expired
6.81 KB
sha256:801db2dcbb814d5fce8b36ee62e05f08d3718eb2ca48f396fc3c851b38ef578f
results-70300-10 Expired
10.7 KB
sha256:da24013e390eb33106a7f1400f808c4f3cea95f68740d065205742f955899ee2
results-70300-11 Expired
8.6 KB
sha256:136fef4237960b8a3da64cbf6db425067962b811432d5fcb6473bec810724bb6
results-70300-12 Expired
7.7 KB
sha256:aaf855f5be068ca9f913c93a0ed40e5d3578e18210397fc8e2a98f6c8c6da629
results-70300-13 Expired
12.3 KB
sha256:547292c2bfd08dcab3396f321f01f58a154d99c3f985f0ab28b793a0b2eefef4
results-70300-14 Expired
14.4 KB
sha256:12cdb66c77268d82ab90a10e52578ada2a43cb37cc7d7f890b222225e9e66f31
results-70300-15 Expired
8.62 KB
sha256:c78f97346c00234e09cd06df5c25545396cae629e3b83a1e232160468107f8e9
results-70300-16 Expired
7.61 KB
sha256:594e193dc8c1b43b7aa6e5f16cdc547d2ee558dc7262cdc9a1a04fd98bdc5afe
results-70300-17 Expired
8.59 KB
sha256:aedca4790675e328cf650746c967f7c5febd1edaadead0ef8b039ed213e1bff7
results-70300-18 Expired
9.13 KB
sha256:1a006f6b2db147cf7d5c806ac630c7617972d27958de6c89117b5d5021dd8450
results-70300-2 Expired
8.19 KB
sha256:1c87c8a54ed639a0498e294d99443521e158948563cc572ca9de969142c1b3dd
results-70300-3 Expired
8.42 KB
sha256:51cf816971ccbe95f362aae3532a343712fe6eb9125aae3fec19170c42926203
results-70300-4 Expired
6.86 KB
sha256:47f1457ffbb91036a69129bd08df8e767e1dc4c768d6f6dab9b6a25b8078a819
results-70300-5 Expired
7.94 KB
sha256:0ff4f8b841c8ea98e2ea17c5ea81ab58a640d86cff3f7cab69bb3e6912224244
results-70300-6 Expired
9.16 KB
sha256:1e87054f6768f943eede59fc91cccbc5b8a1a4669adfbaa9c3630e54f73d5cfe
results-70300-7 Expired
9.1 KB
sha256:97a33f59b8490c9a5c704c29aaf507d0c5388cc42e2fdaa99e86e68ed68bd108
results-70300-8 Expired
7.16 KB
sha256:6ad8e4906090bbb3e20d787f2674194b9e6d7363c299f1f5ba26d39c8615f88a
results-70300-9 Expired
6.97 KB
sha256:e4d68058c7ccebe78879189591361fd67d90997eac9fae87674eb4c30be1d307
results-70400-1 Expired
6.81 KB
sha256:2e24762bfd1d1f647581bcb7022e57958f8c523fafcbf36b674010c99bee7dba
results-70400-10 Expired
10.6 KB
sha256:0a1d2bab667f539917f2ca00cbe86b16d00d243f7e2b10bf9fffc77fd1d0c75e
results-70400-11 Expired
8.6 KB
sha256:5027a9bb45469b99af14f41c9317d528d754fd49e1995951f1603ad8b9da9d75
results-70400-12 Expired
7.68 KB
sha256:4762b4775104eca395c62788a58868e176d2e2e34bcb1395eb4d60bf92adf6ae
results-70400-13 Expired
12.1 KB
sha256:660d726e80dada9b991b8a433799c59db42322018d0ab16e141113f3a67bc6f0
results-70400-14 Expired
14.3 KB
sha256:1b282c2d25e12aa7c9f3c4342ab769012da1fcfe995395542b0d8fefbb06ad87
results-70400-15 Expired
8.52 KB
sha256:5589251ec2a99c47316d980a3e07ba109d99d3ccdeb9cd28bdc2fb2f9e992a18
results-70400-16 Expired
7.43 KB
sha256:65288fd3a5dbd9cc6db8dcd9d1ffdb71566440d035aa39d9f8d50eee5ef2e418
results-70400-17 Expired
8.59 KB
sha256:55756a5c8ed76282350203efbea1b9b1ba111eafb5031573012210f055bf0407
results-70400-18 Expired
9.05 KB
sha256:809421605660dcd651be54996a03240894ae72038e635057eb3adab2f45a17a6
results-70400-2 Expired
8.19 KB
sha256:a146550a9aa85d9e1153936b23b377d3f8ef40605a79a2344bf86124a19cae5d
results-70400-3 Expired
8.42 KB
sha256:cccb02e55f3f635dc14684de6be49d9fe11fd72db851e9edf39dd58ee32b486f
results-70400-4 Expired
6.79 KB
sha256:7c618f07a498298517f6ced599b5f5b150b582f38c9df6edff9dbdee4d9f242e
results-70400-5 Expired
7.95 KB
sha256:4fb7ce1f208b73c8df62ab14210148c95df20b337b5a29db85cdc5ff84eaa604
results-70400-6 Expired
9.18 KB
sha256:f8d909c40b91738e0b840fced21a318a21bf5d201a825adc7400edbe131cc4aa
results-70400-7 Expired
9.1 KB
sha256:a9aafe2d163ba45eaddc99d6ec77ade9e4d4022b028ada0d062748e3c5b09887
results-70400-8 Expired
7.16 KB
sha256:f3a4fe968efb3c2d0a6b3623b8650c6869cd1f6ae758d1529718143caf935690
results-70400-9 Expired
6.97 KB
sha256:9a42e6202ca54d1cb8bc4f607f25708efae5bdae1b4b3bc61f610548e271b4d4
results-80000-1 Expired
6.16 KB
sha256:f4ae36d7f0f04faf21e45b39a5befc2ada445e5c471e3922e58278db0eb046a0
results-80000-10 Expired
7.95 KB
sha256:b58ed1c7e879e2b638a5a6db673ee443b690984a39874be5162d61c16934bec5
results-80000-11 Expired
7.46 KB
sha256:02ca1ecb55d0b201a7b4c71386254e5866e7ad007f167b985873c1584b4ee9e6
results-80000-12 Expired
7.31 KB
sha256:848a2343a4abcee817f2aaa6eff02f7b87ea4b70993536c252fce65e335ec5d4
results-80000-13 Expired
11 KB
sha256:390b2ef03136d52360025a4d933533d980aada4bb39195fe38d4d8e44c652427
results-80000-14 Expired
13.4 KB
sha256:b41e308fd118a12c8b45e1336c12f4661fd811631037d73d948a3515eccb7344
results-80000-15 Expired
7.83 KB
sha256:7fd425611c76355af6e94604806c3d5056cc04fe5de8297b6f321c0d7235d49f
results-80000-16 Expired
6.65 KB
sha256:ab07b340cd6f5e84729cd5c3026f0ed78e67bfca6d5dedcf28b534f2aac3ff01
results-80000-17 Expired
7.27 KB
sha256:ff30a78aa7c644d4740d3f0707c9c81984abf87f0f4f0b54bcde546decfebb89
results-80000-18 Expired
7.77 KB
sha256:c9d357c790610c0c59b129cc18e2fad9ca9249b0832c1ffa551d213f694fe69f
results-80000-2 Expired
7.32 KB
sha256:289056c36544881a44207a398b44f573dc563d092583f052c8d30c91d816537e
results-80000-3 Expired
7.87 KB
sha256:5336a4b6b49d18c096c9da9925f3d01a00e4d4cb643aafcb7f89259ee1afb421
results-80000-4 Expired
6.51 KB
sha256:7dd007350b54aaaebbd3f0f60d55a4481ee551b9fbcff0a6556009704ea37e48
results-80000-5 Expired
6.76 KB
sha256:ed4bde7bfce665d132ca7ec82cacfde12b470440a44c10822eda491769b125ff
results-80000-6 Expired
6.87 KB
sha256:f9198219e8552c20bd874b9914ab4d3a9e55e5dcb9513a26cc3681b5741f86ee
results-80000-7 Expired
8 KB
sha256:db00b7c4de8f8350dc15a5ba137d7a261b2e28d05d768f79b7710c0173eb69c0
results-80000-8 Expired
6.53 KB
sha256:a76df292eb7b4fd893a7ecd6ebab907e872cb91e69f785de84b2256a5f4ab5b7
results-80000-9 Expired
6.41 KB
sha256:a644b88a3172eb45798b0233c3b28fe0eb25c65ad41d982473d0bbe2474a16f0
results-80100-1 Expired
6.25 KB
sha256:1cf32e05774bed437e979291994d1f5d2221ae80f2d0b368d74aefdc1e20a8fe
results-80100-10 Expired
7.79 KB
sha256:17aeb90f574a5fc47af77ad65fe340bb3f6551c806408924c8da5ee7f7ce85e5
results-80100-11 Expired
7.64 KB
sha256:998ed7f728022eb02170272e86ac7d18990d98ce46eb865f4a87f754a38ebcd6
results-80100-12 Expired
7.59 KB
sha256:e485275e01180b426c53ac9b1477eca3cbf76a111ef574cf9389c0395711a880
results-80100-13 Expired
11.1 KB
sha256:d63ae7ca6856384e495f1a32a62c4adaa42754c4cc135889cb758df529d037c0
results-80100-14 Expired
13.6 KB
sha256:ba3a675003be5ebbb06c88abeb5b2ef0c671aafefb022e2c1be2094e4b295969
results-80100-15 Expired
7.86 KB
sha256:cda87779feb49b20b0d88b1711b8841777352901727e8325b19b33bdb744e156
results-80100-16 Expired
6.82 KB
sha256:603cd918ee52346fd37cb550b8aae7d934257d579add8d3476bf484b280cc7f6
results-80100-17 Expired
7.44 KB
sha256:f5d898c6ac1f3bb6ab0846b290b58689bd1a0f2c5c70181c21140f6bf0ef1b09
results-80100-18 Expired
8.03 KB
sha256:31ea560882519a8d82131c47b4bdc2972b744af09898ecd42f106fcd64de5cd0
results-80100-2 Expired
7.36 KB
sha256:a1beb53f9cd036cc77fb326950de1134919933df405989d3f42a9aaa3ad3038e
results-80100-3 Expired
7.8 KB
sha256:6dfc28a67e575f503e6ac107ae471a5b8edc5f66b7e6db4a2dc48f3e30817f5b
results-80100-4 Expired
6.41 KB
sha256:688aba0caae49d362875a50b0b04ea0e71ccb9a2b35a55412ee8b49ea9aaac89
results-80100-5 Expired
6.77 KB
sha256:7db59fb917e952c7d855068782fc34db9563222effe6672a34c6482ef4971044
results-80100-6 Expired
6.78 KB
sha256:55c497e84643b58d90b22e5cb863cfe43abde710d02c9129124d142d54d09a3f
results-80100-7 Expired
7.92 KB
sha256:f2cfd5f20fa63d6dc8857da7c7f84d3b48bdddf397e746aab2a5279f77923109
results-80100-8 Expired
6.53 KB
sha256:1d3c996cffa5fe6b8a6286367c22e36463e16c447098ce5faa332ed7a44a7afb
results-80100-9 Expired
6.48 KB
sha256:d28230702437e297abbf63a99bb3116a8b7504c056831edf6a9115505a0ace1c
results-80200-1 Expired
6.29 KB
sha256:52e7ed93891ab1915e5db13619a9c365bd19eb86422665e556592e08f3f5131d
results-80200-10 Expired
7.85 KB
sha256:e901fbaa8c28876a37e21d1ae01bdbec415711c7373b3d66801d626dd1f0a767
results-80200-11 Expired
7.64 KB
sha256:83595ec2a516257d704dec044c59dd90d0b7d0c88771474a38476040986f22ad
results-80200-12 Expired
7.5 KB
sha256:4f0137bc5871810d8ba39f6170757f2fba749b81dc230059b395ef400a42b196
results-80200-13 Expired
11 KB
sha256:98fb8bcbb50bd7a21b74d2e8bb3fd157cf88d3ea93b6a011667d1d2f64e3f3ad
results-80200-14 Expired
13.5 KB
sha256:d433a620f6be0487f5d4b04a7aaf674c1d5f743ad8ac1dab8a4055f1496f24bf
results-80200-15 Expired
7.77 KB
sha256:b537fd90523861487dc738e282e6bb922f65db69644bc13e698a123acdc04978
results-80200-16 Expired
6.72 KB
sha256:3d4e58d98b7c613f3c8b663379ad5392667f373b95639d33257af476a96bfd51
results-80200-17 Expired
7.21 KB
sha256:f3c2951e1e837e1deac8b9cddb6961b026e995e3449189ce40830af8b0b341d0
results-80200-18 Expired
7.9 KB
sha256:158fc745926d3966dedd5ed15b872e531d7ece18c280e8d6767b80bece6737e7
results-80200-2 Expired
7.39 KB
sha256:53e1482c58235026fcfdc7b6cbb6472cf7c2a65d4980a13d1a80a3d363c4163e
results-80200-3 Expired
7.84 KB
sha256:8513a6fbe234c87e7e9807e2d9a742b03a4e5767c7705d896f21c7b37589abd5
results-80200-4 Expired
6.41 KB
sha256:4557a41e990982858e294d7166fe33db719541f99143d3b753ec719d1e676147
results-80200-5 Expired
6.75 KB
sha256:42cb177825c5685bab5d49544fa7335cc4554b0ed585d3a11cdb30ae7e5a1d61
results-80200-6 Expired
6.78 KB
sha256:9cbd05b5005333aba0307a0f110ba43c81a706e0433d584add0ad610ffb26f27
results-80200-7 Expired
7.93 KB
sha256:80f153570a8f8658d6c28fb70aafde13e5bc41a71912959e8bef75b03e1f8611
results-80200-8 Expired
6.53 KB
sha256:28c8288ab34b8c52d60a4b5f50dbc3302771bb8176acb7086a42d8323f0191e7
results-80200-9 Expired
6.48 KB
sha256:1a426c9d91b5149fbeb7ca2d3458680978c4a04e6dbea706b46aebe0f85956be
results-80300-1 Expired
6.29 KB
sha256:ca1c8bae5aad6e88b3eb965411dc54602c88145503d2252b445ec964c7281883
results-80300-10 Expired
7.85 KB
sha256:253d0cf3cf4a437dd4ba7276b19cb5aa9f648c45dee5f617586561e6bffe27a7
results-80300-11 Expired
7.64 KB
sha256:75ee1e4afe59e3a9104259ee2daf9869edafae41837e2b67e655d81f8e783a3f
results-80300-12 Expired
7.5 KB
sha256:0fbe9d35b117ab513c2bc445ffd31ee9f416180b2ed7028e9ee0f9b79d79e201
results-80300-13 Expired
11 KB
sha256:a4ea7c748acadc209c4138edc5e8300f8ce08811afee33faa46fb7a1646909be
results-80300-14 Expired
13.4 KB
sha256:6d008d638a5ae233b61440ea25f2c40193d50540afc0e8769c04ee015f1bc476
results-80300-15 Expired
7.69 KB
sha256:556f66bd7c72e573b67901db27c196e2f00ea03d303643d5cf59d567ebf5e45d
results-80300-16 Expired
6.72 KB
sha256:d86d0fe69308c60cf64768608fe3255bef87e7d4f5fe032f07724aacc19dff52
results-80300-17 Expired
7.14 KB
sha256:ee0d5f322e5e4f5e1d9be0207c3286f74d7e6c933a76bb0f6894b300324c74b2
results-80300-18 Expired
7.9 KB
sha256:12b0791d5b9c805e916bf873c54de70df908c04516146a38b1d1be2917f213a1
results-80300-2 Expired
7.39 KB
sha256:eca8db19c1a3d175955f95e2ad7b99c40c8a90a0c53fb216591e01b35aeb7a1b
results-80300-3 Expired
7.84 KB
sha256:91465f682c2743725b9568a9f85e9f0809e64990f6cc294840ab74e60451fe62
results-80300-4 Expired
6.41 KB
sha256:c14db728af12ea7c5edc4f27b2753cf1f95f93c248fc47111dc852cbf9d4c69d
results-80300-5 Expired
6.76 KB
sha256:e1b5a202a0986edeac3cd2f861ae53b776fae35e1340599580397dc3c8203a41
results-80300-6 Expired
6.78 KB
sha256:a5269d1d22b6386c75ddbc16333388a547dccc3ca7912c2561a1634a01d5f746
results-80300-7 Expired
7.93 KB
sha256:7adb23b0933e6c1a5df439c3a94984e3a70b51a041c1017def19a87fa398d76e
results-80300-8 Expired
6.53 KB
sha256:c838b3acfb59e99be932391ef5b2df941a8599a979f002129757b0da4fea1ff0
results-80300-9 Expired
6.48 KB
sha256:b60bc766882110a8f426dc39c8f5ddb58cbbb0e7ea43e5988d261cae72522c58
results-80400-1 Expired
6.29 KB
sha256:f914f22dc1ad1ac186b6691207783ee709dff2edf4970170dd92dfaa54f648a9
results-80400-10 Expired
7.85 KB
sha256:0892abe295522fe6bc8b0d1139bc61802d72bebd712933a91e8afbc3dbcba8a6
results-80400-11 Expired
7.67 KB
sha256:21cf40228dc9483cd952a4f948910cb9d58d0e517b21a8ba4b6ffe040fdc8009
results-80400-12 Expired
7.5 KB
sha256:8477f09901387d1ab4f2dda69a4c4fd6721a87f9c47a0ddf821f9452662b9ce6
results-80400-13 Expired
11 KB
sha256:72897040eea7cf5561e56cac51adb31ecee44d09bf21c65023a9d3d772cd5ce7
results-80400-14 Expired
13.4 KB
sha256:3f0c4093c4c31c83f870b7e0fd68fae30aaa779c787d1af865db6bcbc4ecc23a
results-80400-15 Expired
7.69 KB
sha256:9b73acb64c6aecdd0d2f521d772750e73be2f8aba8c91bf9b9e978b62b223438
results-80400-16 Expired
6.72 KB
sha256:3bf277a472bfadbc60016def190d48973a9370386371430d7725093c58cf7520
results-80400-17 Expired
7.14 KB
sha256:fd246ded5d79cfe96d48962504cac572cb0ec552d42e726e635a569c6c0033f3
results-80400-18 Expired
7.83 KB
sha256:bde979ece4d782e8548c648f47a7d4566a712b0d8e2d9fd4a29579cdced7a844
results-80400-2 Expired
7.38 KB
sha256:d505089bfc26d01a5846d1cd35450f18a2070ab07e86acbbd8767820378e847d
results-80400-3 Expired
7.84 KB
sha256:419e94252d36368c16b13602b6e4684b7284c55e6cc435ce3372f0f8acbf5df1
results-80400-4 Expired
6.41 KB
sha256:54e9a7dd8a1c86406410d2ef4ac534cbd06245c96d4ede916f040200e86a1a5d
results-80400-5 Expired
6.71 KB
sha256:288f9bf1ab809733ddb7575bffb636f6d6a2fb9cc34d6517e12920507f53d6c9
results-80400-6 Expired
6.87 KB
sha256:015efcddf59c1e5d6deddef1e5467c78b54cfc753fd9a3dad76a260e956a7fd3
results-80400-7 Expired
8.01 KB
sha256:2c390332271bbb063c3b15e2257728772cf8f61ae1aa5cc47493c2c3ffe919f4
results-80400-8 Expired
6.53 KB
sha256:3fe96bfb7d61e9d8c3c229b123ea1db2a4dafa2a897fb92f42839c356d6ce300
results-80400-9 Expired
6.48 KB
sha256:6f8e47eef9e74253c8f1798e4f1c2f3c236803032a88e17436974b9cef59f454