Skip to content

Improve loose comparison on IntegerRange containing zero #9725

Improve loose comparison on IntegerRange containing zero

Improve loose comparison on IntegerRange containing zero #9725

Triggered via push January 4, 2025 14:11
Status Success
Total duration 8m 48s
Artifacts 146

issue-bot.yml

on: push
Download data
12s
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
554 KB
sha256:7dc2fc99658d9b946e4a4a52c0f0d6b1ec5255bd9d39611e4582c8cac9c492de
playground-cache Expired
477 KB
sha256:a62fbb305cab3efa8d8f47a03fdcfd0eca32d6f1aafa93d2474df802a8eaf3dd
results-70200-1 Expired
6.81 KB
sha256:f0f9ba263379c866f6b52a3ce8a2d997367f6293cee6b73c40b582e11761e422
results-70200-10 Expired
10.7 KB
sha256:f00e9fdd87cf6ec784ef19be5c6eb60a8c3f2c01d9d88316ee821cd3f19d1d00
results-70200-11 Expired
8.69 KB
sha256:afafdb190d43296c9d1aab6636bcf57e5c951801bbb17824a44065114b3f7820
results-70200-12 Expired
7.74 KB
sha256:725468d1666c2bff90482c3d213860064fdd57733deaabde10ee30280acb87b2
results-70200-13 Expired
12.2 KB
sha256:6c1c4ed07d563c9b5a9e41c06720adbd7d4da6786e8885ee67bd93f1232e80c0
results-70200-14 Expired
14.5 KB
sha256:c6c387d7e16b1a2978a998782b2aa57ee10ca783424a7f55d284e8476d8c09c2
results-70200-15 Expired
8.47 KB
sha256:8a78c827cc833baf53cff4ad2c5981619b6f5fb38f2a3d566abff314ccaada9f
results-70200-16 Expired
7.86 KB
sha256:f3f686b06457d5d95e165e3b39896fec7512eeb505cbb34eb1ad6bc89ff1bfcb
results-70200-17 Expired
8.48 KB
sha256:d599163ae5180606bdaca309acdea919a58b4e7cfdc45d02b29a6671d6cb69c4
results-70200-18 Expired
8.92 KB
sha256:8e881cb740d3eeb7093a97d31c635928bf9988012414de27ac68c347cc033bdc
results-70200-2 Expired
8.19 KB
sha256:d4dd7f5b46ecd3782fcd6f05dacb6014041a72a964ff10d602e8822af9dfc57a
results-70200-3 Expired
8.46 KB
sha256:afaecc78e800f012099a8e25296c758a701e2dd8096c62588e21abb156df9b8a
results-70200-4 Expired
6.86 KB
sha256:69fda8300f9dc73709945d43a3b4cb93b4601d16f4940c2d2ba8d11709033a0b
results-70200-5 Expired
8 KB
sha256:960069cb2525740e17610c6d8f4e7c03b246e50141ee707d7f159d942fe6bb14
results-70200-6 Expired
9.1 KB
sha256:aee5d9601d946f6ab17b90bdd137aa33ce6f7fa109eaa935df0dc9fa2bfbd297
results-70200-7 Expired
9.03 KB
sha256:89191a7cdc42148f35aa0b15f96c850ed96139b12a3fc3ef825fcfc26cbecbac
results-70200-8 Expired
7.15 KB
sha256:180c66ec1e12f70842744ffef2f708d6b3f03ecfd979edd25ddd8b6e21b25c2a
results-70200-9 Expired
7.09 KB
sha256:585eb559c38283564b541d6486a6300f9133aec9ca20186af37b273f00fe2962
results-70300-1 Expired
6.81 KB
sha256:c682dd4ed888187163bfc4767982846c1dd00152cf25b9a8d80f03e8d049da61
results-70300-10 Expired
10.7 KB
sha256:74e28bacdccce9061a6d03ede196de1fec94f98b9f2a452ea99708392287ee92
results-70300-11 Expired
8.69 KB
sha256:825fcedd95889135eff9cc663586a2717aed90d067bd606df5ba1b01f8091849
results-70300-12 Expired
7.74 KB
sha256:cc6205628a484158203650ddf0cc891a52761e0705bff34de7ccaed351859333
results-70300-13 Expired
12.2 KB
sha256:c18620ddf4ba3b06a993779dadf8c44908c96f4e9dc27fe07daf8d48e18cb7b5
results-70300-14 Expired
14.5 KB
sha256:d1231f57dacbb92759e4e55522e46a9801455dee155988d0655991b58e549f0e
results-70300-15 Expired
8.45 KB
sha256:1d25c38c1d7d7375f62b3ac68895349ec1cd172cdbea7a621dc82fa072658556
results-70300-16 Expired
7.81 KB
sha256:f0c3869d3dc4c5db102d99e7575ef79340bc4fb924a606c823144fe7d06876cf
results-70300-17 Expired
8.46 KB
sha256:a6ee4d68223cab7df572bca60f4ac0fb32630e1b80b5021705fab77e968ee7cb
results-70300-18 Expired
8.89 KB
sha256:4bdb7bd2deeb52b88674bcf5f7860c5666ee1c475f52feba981cf669832033f3
results-70300-2 Expired
8.19 KB
sha256:84fc60cf2f3237e8e9185f618a86a93608953d1862387f12063aae0eb7234a6c
results-70300-3 Expired
8.42 KB
sha256:e3f3e04c69b89b6fe862e5def3fd535f555baa418e1d43494c4449527185c49b
results-70300-4 Expired
6.86 KB
sha256:b9507ccc24024817b77d54e0e55274065bc329e483c0b9a8a4709f23386e4353
results-70300-5 Expired
7.94 KB
sha256:c7c07a1c9dbf63d834dea4ad91f2f83701403f1dd2421e46b5f285f9c8d72a2c
results-70300-6 Expired
9.1 KB
sha256:c09f5139ec2aae3a43a8b1c8c13689de75438c0d0e247e6b6c59d0008be445e7
results-70300-7 Expired
9.03 KB
sha256:54746fb7aa000de12a380ac9b0440c2613fe05d1b139b1877f24f8313d37b65a
results-70300-8 Expired
7.15 KB
sha256:e06652959acac654b3f03943076d8e30b24364c0539cdbcb3258ba8d531be8bb
results-70300-9 Expired
7.09 KB
sha256:8afa3e05398030036bbe961b4729d67f816d6ce803e830dc0f3842e1bd45d267
results-70400-1 Expired
6.81 KB
sha256:3df247287aae09168ad2767709aa56d9a72d37f9b7a9bb0c82394221e02a4a59
results-70400-10 Expired
10.6 KB
sha256:4967493fc3b28315a4941cbc266f53612c2cb74ab5ab6db3e7ac701261945063
results-70400-11 Expired
8.69 KB
sha256:c3c02910b968974feb8a4e4b72e285fe4760f5070c3c048c7c87a5331713ee64
results-70400-12 Expired
7.72 KB
sha256:579ed1a37c71ea65ee4ee8058e2428b7db4bba8f64ce91b399bd85120dab4a1b
results-70400-13 Expired
12 KB
sha256:7cf53db7ce3173d28653934198b25e8f5cf5b03e18ad4496352ebe2a9c59e0e4
results-70400-14 Expired
14.4 KB
sha256:e594a5a853063f9d32eb8a81dc47c4e4c533188986e322a0b69c67922e633998
results-70400-15 Expired
8.34 KB
sha256:f028232641ff7d0691c294bc58345d3c6ca7daf89d041fe131e78e480f8cca83
results-70400-16 Expired
7.58 KB
sha256:46be2c53ecf1e865b3b3fede6306ada07d5d34d63ff504e450a5533f59b60952
results-70400-17 Expired
8.46 KB
sha256:4149644c69af87ec6bfcc78e0cf225cce26bf83ff5eaa1fe5ac137a00c11e1a3
results-70400-18 Expired
8.82 KB
sha256:0b6f9c48a42a07d34899e320f755b82148b0047b98a84e911b5c453c3ab7516b
results-70400-2 Expired
8.19 KB
sha256:fe9121cb052e36933cbcd33de4f06e577ecbeef46ebb2cd4e0e7f5bec0625650
results-70400-3 Expired
8.42 KB
sha256:24b7d04a5e3250f2175de03c1543f792ba5ac3f5359d696610ab2e4cf16fcb17
results-70400-4 Expired
6.79 KB
sha256:c6058d3698351f95c864f1e269a636fb5653832d5378fdefd5da0336e304cd90
results-70400-5 Expired
7.95 KB
sha256:12ab661051434ff929f489f76b0db2d6660ab351b9e3fa68c8fe325a3d6173af
results-70400-6 Expired
9.12 KB
sha256:2bc0127c57dc242ac4dd5bd46fd705af21767e977ba139645214157b22cdf398
results-70400-7 Expired
9.03 KB
sha256:7c9b6a70cce6a13fe6c2d2494c55fc54ff62d38dbb145205906f25355ed50295
results-70400-8 Expired
7.15 KB
sha256:1de825c613e64b29f0702f0534bc38d6128edb947442144e2ee641fa5e651424
results-70400-9 Expired
7.09 KB
sha256:3167d50035d6ebe3e94088dd577a0a0b583bf0ad98fb157e2cb448330f07c101
results-80000-1 Expired
6.16 KB
sha256:be1144d3e3dd2791708f74f67e71e8c32523d70bfcb844d03f17a6e71e4cf967
results-80000-10 Expired
8.01 KB
sha256:97b965100e37d946e3509f435231e4d399f259e05bbb7d7cad27262d16fc3da6
results-80000-11 Expired
7.53 KB
sha256:00e7c82965c4d4bda5ca90d6ae8894bad900802eb0288f0231f9f0116c26e111
results-80000-12 Expired
7.31 KB
sha256:df8b5a9fb6f17f951e7f4015b61bd1302ad92eb9ac0857fb427c9de771f7d12b
results-80000-13 Expired
10.8 KB
sha256:44c7578fc4ec717608c6d760677effa41c93cde5b57766650cf20188c3dc25b1
results-80000-14 Expired
13.6 KB
sha256:e600c47765e2252077cd0f9d6de113694a5d83ec59b179d93b4866676d31ee35
results-80000-15 Expired
7.69 KB
sha256:e07d6780640a8a1535c09394dfbf4990ded95dde3335e8e503a6d7113881c8d1
results-80000-16 Expired
6.82 KB
sha256:72cb80fdd77249b045d2b7d24daebdc2bdfed2b40fe9518882ef780bccb1b4a8
results-80000-17 Expired
7.14 KB
sha256:b04a701011e9bc638921151cb466f6ac3b0510c5255c83694125d6162bb52121
results-80000-18 Expired
7.53 KB
sha256:72d900112547d931862c11808bab7d823f9b7132c56d631750c30d7c6705c06c
results-80000-2 Expired
7.32 KB
sha256:85b329c069f05b96dc2f8e10754948afc6dc7f565c738a5f261c1b14a878efb4
results-80000-3 Expired
7.87 KB
sha256:cde74c6ce6c978ed3354438d74bd1c1105e17af0d2eb985508759b17af1f3dbf
results-80000-4 Expired
6.51 KB
sha256:5fcf487b356efe7350337edf83d62fa17b00e326b0a179be045e8ef18afe4300
results-80000-5 Expired
6.76 KB
sha256:7e25213e7de7112936ccba481ddd9d3b92376912e81150a6f44f95cf84a98260
results-80000-6 Expired
6.83 KB
sha256:64b3f4c62fb046fbf6cab2430678b1ded5451c34d0a31b6412840830f4b49bb6
results-80000-7 Expired
7.93 KB
sha256:64f45a746082d78b7674ea566a916be734b5ae9887c79d8b9dd9fb43437a4807
results-80000-8 Expired
6.52 KB
sha256:34bbcc6ded3ef6ab26370f375ddd9fe6807874cefb1e00477c309a64d506a274
results-80000-9 Expired
6.5 KB
sha256:bb1a9b26714c7af9e3b79c76932848a3e20555ee4c9169ba223cab1b3170923a
results-80100-1 Expired
6.25 KB
sha256:b7ad71c8a3eedfed699728c06c67ddb3337baa9eb7e46910fd075efcdebd0b50
results-80100-10 Expired
7.96 KB
sha256:c9f98120dcfba3f067ea8c791def0be4a390876b49cf89d450cff00a1eefac3d
results-80100-11 Expired
7.49 KB
sha256:145efaf490d9b26d056c664c836ee5a1e354a8f230c57956c5cdc690f6d6b24c
results-80100-12 Expired
7.59 KB
sha256:ae1fc242c0d41852a7f111cdd68d276e4368b954c0c972c8a1390865e42de720
results-80100-13 Expired
10.9 KB
sha256:81a134604b9d6c33bb25c6fc2eec8bed43a09dafbabd6a7510980b416a2d9a27
results-80100-14 Expired
13.8 KB
sha256:523335f1673d3c8212e4f3c73b1f6d800bbbeb4b3082be46ba699f580f10a94f
results-80100-15 Expired
7.67 KB
sha256:7ccdc0f08d842b55fd737ba1491d7f9b2e308f8448b4bc0d35c2cb391ce23e40
results-80100-16 Expired
6.97 KB
sha256:ddc2d76db055fd2b06b70269a5255ec823e826e8ff499270c40ac2ba602cc49a
results-80100-17 Expired
7.22 KB
sha256:ee1798b3c42a4eb7c6cc64b1c045242c78e6bac3399aec39735643070a97d1f5
results-80100-18 Expired
7.82 KB
sha256:6f99b0ed6978e453a2ee5bb48bf5c0c23b4161083d89b71dc67fe9bc847c434e
results-80100-2 Expired
7.36 KB
sha256:04d8d2c2678ab1f9c233637ee55902c7ba50d27f6119839ec40dbd17dbfba2db
results-80100-3 Expired
7.8 KB
sha256:24214240e724eef709345ea6173401622cd06a019ac99b021538520d6e07f214
results-80100-4 Expired
6.41 KB
sha256:5693844e3cf926cd4c5430322a4efaf178fe04a40fa87decf631c4d21053c4a5
results-80100-5 Expired
6.77 KB
sha256:6d23fe9e6cde5d8cc33f5ccf3b7d0671f0dcfc4b3f158bbcb72721f815b0641c
results-80100-6 Expired
6.74 KB
sha256:7cae83380fa85902973467b59e530ee1149f37f102df571295223a7a5460ec33
results-80100-7 Expired
7.86 KB
sha256:2436940625fc586248c8cb0cca84c24084370564dacd4d4ef3d7250803ed556a
results-80100-8 Expired
6.52 KB
sha256:e58cf1afdd2bc89da777798940a0979b856b266b810231f7c958f602f94b8073
results-80100-9 Expired
6.65 KB
sha256:85e8539c54c9dfe5dc4c8bbe5518ad1dec49d8cbb643819578ae4ad256c62bfc
results-80200-1 Expired
6.29 KB
sha256:2ae40c1ec88c04d9e07043ef7b9fde6f3e0f7da362204c8fe79f8fcddc0e13c7
results-80200-10 Expired
8.04 KB
sha256:7b8438a7301d459d4035a72d950f4d04bc583083e6b88875b46a84baab1762eb
results-80200-11 Expired
7.49 KB
sha256:e931b2ba1ccc58ade6f9b1a8e93a4a8b3d9ba8f59e7492a8e0d80eada8b1f985
results-80200-12 Expired
7.5 KB
sha256:323d376f8df971d9e81a64ac1d40445c9619fad3312c472fca5d5a6986f00c76
results-80200-13 Expired
10.8 KB
sha256:a34d3ca15e7bd888c36836c8761b6b16d68c2878e1772a72b8ec83d5aedae8c6
results-80200-14 Expired
13.7 KB
sha256:c8117c5ffb947c30a8def3d236d80d9d7409bddbf607202c5afb0ebc16156de1
results-80200-15 Expired
7.59 KB
sha256:790c3861069fc029c1a81b0a8bab61e3da98b24626078e3c0bc58d114144ed06
results-80200-16 Expired
6.86 KB
sha256:3f32fb64a25a56efedfa69ed36bb4c6d01a33b4bad9f0d2f7b7060c9e0d03c59
results-80200-17 Expired
7 KB
sha256:9d52e4cab78f2ced3afeb6cbf76b86174469811ddcda48ab4fd2bb172bc80dee
results-80200-18 Expired
7.68 KB
sha256:2e01325a78e4bc2a974e861cc40aa77e5b4ba85be33b48f2d0ac9af675b87117
results-80200-2 Expired
7.39 KB
sha256:6c64c7f3b3c8534414172e800f9643ca6b1ae5f7bb70cb80e0ec20dd2ac1a01d
results-80200-3 Expired
7.84 KB
sha256:fb400a05946a51522791185c9b058ed82873094d759d0b22311bedbfb15a6bea
results-80200-4 Expired
6.41 KB
sha256:271209f27d465d640dcad340d4964adf0e27d7aeeeab1c27eb5d479da608048d
results-80200-5 Expired
6.75 KB
sha256:e69fb4a98ad524b523093a56f5f9c2070b60d06fc6ea3760f6881ae1d5bd7876
results-80200-6 Expired
6.74 KB
sha256:99622ed4fafe7469687a2026ed75255f3145ca2a40ef8fb0f1fed27deeb40d3b
results-80200-7 Expired
7.87 KB
sha256:b6cab036dcec52cd7c16c04177b89e38b07769d33373f5d3101f3d67cb03385c
results-80200-8 Expired
6.52 KB
sha256:fe4f4ba256e33504b70fa77b9bf8b816df02c51f21a9f2e03530d2ea9ec18692
results-80200-9 Expired
6.65 KB
sha256:3f8c716a2d50622ed974f9aabf135b3fe81eb84683bb3490a7a8dfd470527df3
results-80300-1 Expired
6.29 KB
sha256:ce0418cc47622331bd4687d9dadecdc97d5e27155361faec90f3399b16355282
results-80300-10 Expired
8.04 KB
sha256:48a5c959c3d485fd601240c6ef776f985123a071153a7466b84a955b9e5e7988
results-80300-11 Expired
7.49 KB
sha256:f039df36cbd299b5d8d8f1708d6a569be60238f8949e1dfeaecae1d37cbdcca6
results-80300-12 Expired
7.5 KB
sha256:4bcb36d922d3f17bf65e64d94221f4aeab6c57a42c1a7137022bbf41df1d6c9f
results-80300-13 Expired
10.8 KB
sha256:d4dfb252e800a0c5ca3478dbafddae517374412ec24c55b917bcd570d7e549d6
results-80300-14 Expired
13.6 KB
sha256:ae1ed1411f1d7a96f56f56580a1e2e259af0ce55085467aeec4c73dad57b7f60
results-80300-15 Expired
7.51 KB
sha256:a20551473a8fec6e5b1de56e3558dd2c875d366d5f7b833acb3296c4bfd953b6
results-80300-16 Expired
6.86 KB
sha256:5c0b0b6ab6b6db8cd7ccdfdff461c247aeace1894309e16d4e825748dc407b63
results-80300-17 Expired
6.94 KB
sha256:f8484302cda3a7e097fdbb168da2914a08e063acacc0dcafa5a1e2ca18224738
results-80300-18 Expired
7.68 KB
sha256:32fefcd7f3681961725dfa870ec50709a256f59c065e58f23679a8df5c1a2d0d
results-80300-2 Expired
7.39 KB
sha256:21a3472e2903282d82315f7da904d83199dedcef37c338b44cb14fa174b6f279
results-80300-3 Expired
7.84 KB
sha256:c4ec9efffc2cc1a4f340d4a77f36d469787cad440a4f40acb8cbf7d22119bd22
results-80300-4 Expired
6.41 KB
sha256:a95c45c8f80551acd4cca12b7091f94b7888ff38c9939d275ff4b16f6a970312
results-80300-5 Expired
6.76 KB
sha256:40c820b70d71407e7c1f9135e6492943a7821ceb7c2ef66b6206f3d9b5737e8b
results-80300-6 Expired
6.74 KB
sha256:6195eca7a79bcfacc3343c4595803b432d1ac364b57d88db163cb3e74819189b
results-80300-7 Expired
7.87 KB
sha256:a48909e342da02190e0ca8989a1e1922726363f1892b0d8a182cb2346bf4992e
results-80300-8 Expired
6.52 KB
sha256:918fe49106eb6901b9c84d189084661964f2fc75720f0dd4f447b08ac9587e2d
results-80300-9 Expired
6.65 KB
sha256:1d4df63c58bef1d8349977bd694ac916d53481c108274e335ce5caa074aa0da2
results-80400-1 Expired
6.29 KB
sha256:fdcc3a31f823ad687cbbb4a70d5abe97b790f060eb1537e635d2597860dac0e9
results-80400-10 Expired
8.04 KB
sha256:2b74483ba6d9a67c4d14dc43ddb9c7e01232df640b33bb805d889b1f19531716
results-80400-11 Expired
7.54 KB
sha256:b92ea96d5a4f6643d73b926278374f53bc2f8db1366fcd433fe5ace1bb36b165
results-80400-12 Expired
7.5 KB
sha256:cc0cbbb1f8c8983a5ec29f90aac3e7d8522197272a946c5f4e069df84c954bc9
results-80400-13 Expired
10.8 KB
sha256:7b809e8963c5117d496a0d2511d1483a0cd53d744d2015a7ae5ad9e1b6672d85
results-80400-14 Expired
13.6 KB
sha256:b51d64b275d3f470e1e1c6049d16fbfec6dea3d778c67d48b0f0720a27fba26b
results-80400-15 Expired
7.51 KB
sha256:f062ec2b043974779d536625f180043abeeb9eab3f1b1b05a681d2103682a005
results-80400-16 Expired
6.86 KB
sha256:b05fe69d2b3867a25456e46b682b4522325ca32e9dbd2bd4072426159a2218f4
results-80400-17 Expired
6.94 KB
sha256:94541f02083eb6067c34e9f28ad2508edfba500f0ccc84bbf63aff7e5be622c1
results-80400-18 Expired
7.61 KB
sha256:24332ef98df83d1dd51cac614faad5b3624927bb725e15c4137c2d27d64f6785
results-80400-2 Expired
7.38 KB
sha256:868355918d79520995246fe8458b837f38bf6f7cafe85fb2d75b2cda677122f5
results-80400-3 Expired
7.84 KB
sha256:46ba268bcdf1cfe123c6028ef142a01a428134a87f3813bb4ba254a7d6604bd6
results-80400-4 Expired
6.41 KB
sha256:7053649e87d5cc458d40d7076ae14f6e73c0ab2e6c8ddd348da5665f4a4be5c5
results-80400-5 Expired
6.71 KB
sha256:f73d9e0c1b13223e0bae47195347790f23ff97aedda02b896e447746f5f8ea0d
results-80400-6 Expired
6.84 KB
sha256:8c5dd60676871486da3bbb94c07ac65bdaea5f2a35c9de52f6d11708ecf99f38
results-80400-7 Expired
7.95 KB
sha256:f0cd9b14c2f68b012a6f8dfda9b1b31e7a4c74ea76ca596c4de26332a5f6a68f
results-80400-8 Expired
6.52 KB
sha256:cb315fdcaea2affdf1fe5b39c2b51845168301fb8f992cc129e6e2a5c7ac447f
results-80400-9 Expired
6.65 KB
sha256:d71110e6a9da3787c028605606c3b5985da14aa2e4b2e5f41c107f325a75f359