Skip to content

Improve loose comparison on IntegerRange containing zero #9700

Improve loose comparison on IntegerRange containing zero

Improve loose comparison on IntegerRange containing zero #9700

Triggered via pull request January 2, 2025 19:12
Status Success
Total duration 4m 9s
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:eadd8acb3e8352af09e281ea86a82f3fb5064e64d49d03fe36126b96a6ba84f9
playground-cache Expired
478 KB
sha256:cd1fc1aedc6ab005baf23ffa99acd8d8322607d29b25f80604b25c4ce6660072
results-70200-1 Expired
6.81 KB
sha256:da8b7d655bed6d6c1593dcabc38087e2916b25e8987446ac576e8ebd14db13df
results-70200-10 Expired
10.7 KB
sha256:550e4d5cc2439d1661ca980caf1a3ca33d0bda13fb8351bff44e66007c07218f
results-70200-11 Expired
8.6 KB
sha256:36b161a619dd4f01478c6d56a3d2e16e3a240f838d9dc40b2dc42015a48177d6
results-70200-12 Expired
7.7 KB
sha256:827f8674b681cc3d855de290d635892284ce891c57526d7d179a90a809786c12
results-70200-13 Expired
12.3 KB
sha256:d06293bd8f70843c96ca8612fe18f007bf047b90d75df5fb738ad6f11ba17ed2
results-70200-14 Expired
14.4 KB
sha256:e9dd2eb9e206da953c6163743cd895ed3a3ce8ee39b6d3800efe291d246da8a1
results-70200-15 Expired
8.63 KB
sha256:ce40ce43ddacb71b5561b732bdd9061f616999c3216914543742564b82f19bc3
results-70200-16 Expired
7.61 KB
sha256:81a9c6d2df509fe00f81eb82e1dc26358c2643047d6ae079f300a0ac53237218
results-70200-17 Expired
8.62 KB
sha256:86bb84e97acb6d93d60523520a964db93187a8cbc94a95d152818ef9a6922183
results-70200-18 Expired
9.15 KB
sha256:50011ad802728d2fe6d7af90a1163ea5ce2c2c522371daab897e14566f2375c3
results-70200-2 Expired
8.19 KB
sha256:4e4799a6e15e4249c6c5f35e5316e7ffa7b78c14af8a842f9cb735c24b5abb1a
results-70200-3 Expired
8.46 KB
sha256:dcb6d7b47cba57b8415ccca09979d1b91b41db9e2a600a99bd9bc8ffa588ad68
results-70200-4 Expired
6.86 KB
sha256:e0a510aae6342706c8c1a8be33688baba6899c5e7ef0066d879d1b802161fb62
results-70200-5 Expired
8 KB
sha256:755c2cecc6735add58fd6f36256ea915198ecdefb7ec4ba1eeca02795132af7c
results-70200-6 Expired
9.16 KB
sha256:b2a5aa350fe014f6888b285b749c97c2e3417ae7ebe47c5d73d8c6b3e42f7e52
results-70200-7 Expired
9.1 KB
sha256:872db39cfbdfd3ca966bc146ef947a7c4a0ca6d9040237417651dbc50773af51
results-70200-8 Expired
7.16 KB
sha256:d21b8bd047d492498ee62576aa278cad0b9a141c198f65381d32896558c58ebc
results-70200-9 Expired
6.97 KB
sha256:ed7f0aef2affb8421d10e8797b11b94742a0e15d834c724e8004bb49af0df004
results-70300-1 Expired
6.81 KB
sha256:448f7bc994ad198c492f71f8a6ea24de90fea8e8284167429cbc5fbe29026e1f
results-70300-10 Expired
10.7 KB
sha256:de23f57b24c3ec5a0b1736211fd0cca919f882b70bde509a2ba7907b00c56c02
results-70300-11 Expired
8.6 KB
sha256:f42c426b9d1ccc8e01d5d9bd02c86a1112b5a8b6724d8466f871e845d66ac11b
results-70300-12 Expired
7.7 KB
sha256:c8ce41f3bbcdb857cd627012c740ac7f787ecc95e3da255e05eb41baa2b61818
results-70300-13 Expired
12.3 KB
sha256:ecdb1dabfad3aff145137c65e704d10ad81207aaf0d40cb4a43d4d547b608dfd
results-70300-14 Expired
14.4 KB
sha256:f18fcdbe2e8364af43668e8c3053ea8602ce049278e9845957a1892626be6347
results-70300-15 Expired
8.62 KB
sha256:ed58612b5a11f620928e5222ade27926712b3cc12c9710b2de26faf767f53099
results-70300-16 Expired
7.61 KB
sha256:7cdf3358a274d34b2369a200763aa5cd2f12a64d9746f7c4c3b3f6d678b52971
results-70300-17 Expired
8.59 KB
sha256:5a1354eea95e60bfe04377e4a5bebe6bb7e41a50fc0ba343b3a3c0b4fb26e8c7
results-70300-18 Expired
9.13 KB
sha256:2e273d1c105cc879e2a162a70987d37e7ca26275481aee3b4d79a912faaf6627
results-70300-2 Expired
8.19 KB
sha256:d8aa73fb9dabc14e7b9b3977943cd7b6d9bce168bbdf9e7001b3a07c8dea407a
results-70300-3 Expired
8.42 KB
sha256:a21ae0352ef60ebd0c7d0e3c27204108e6d87e29b633f1c74d87995391df07b2
results-70300-4 Expired
6.86 KB
sha256:1cb7770a1982c416bd40d201c88d36792eb479d9768c039eb4c1f4aae5b8a70c
results-70300-5 Expired
7.94 KB
sha256:ef37c2049e7147f79399c049cfd5fac1b47865577325d67b04a0fdb17055fafe
results-70300-6 Expired
9.16 KB
sha256:8c6ac631ae4c36e56912c0f649d65ab6e4c3c60df584ecfb6a8e22f225cc27c3
results-70300-7 Expired
9.1 KB
sha256:f7b66906a52a23599cdbd98b5cf5289a5b16bed021c631f3df8d80a3a5d253ec
results-70300-8 Expired
7.16 KB
sha256:4a88c66f0c101b714209f92ed0b72beed995f33654009cf1ce30264236815c48
results-70300-9 Expired
6.97 KB
sha256:98f68cbb20078d07637208485e9ffaf70ffec9362fcfe8c58e287f44686d2b52
results-70400-1 Expired
6.81 KB
sha256:e3da1971a70e53c0561fd77123f537f378e5e1bddc8a9e5e742a592de15a8c27
results-70400-10 Expired
10.6 KB
sha256:c34e0a87a351ab36c454e0256a912ff99dfd0bc95bb9aa2dfd1574a1286595a4
results-70400-11 Expired
8.6 KB
sha256:e994d89c891e3d977bfa0a6766de9352c0f4bbc1a32136c0d1a1e55d6d7d7d1f
results-70400-12 Expired
7.68 KB
sha256:e6af2bb3659e40e72509830b43658ab5d5ccb818dd5e9a7615c51b8595880f3c
results-70400-13 Expired
12.1 KB
sha256:906a9d4cb8896af4ae1f8d5521ced0be7f45507a75ef764dffa42c843a93f76c
results-70400-14 Expired
14.3 KB
sha256:5f30ab7ee63c5febb3d1864605c428320ff73f3f147ab1e3b3ae91e51e5a2ba7
results-70400-15 Expired
8.52 KB
sha256:a71067db8f7245864255b80ceb94bdfe6ac0e48069e986a404a08473a6549b70
results-70400-16 Expired
7.43 KB
sha256:ac54c4d1657add7869ac15a75700ff5514e6d47b87a489462d81d7d435639382
results-70400-17 Expired
8.59 KB
sha256:65d60d5695db1f9d397b1923e811041dc590491f85d7a3816b7100449892c20b
results-70400-18 Expired
9.05 KB
sha256:d46c57c4ec5a531543c5f7efd32f47f3c0af8b949276a45fb40273e2ede85c46
results-70400-2 Expired
8.19 KB
sha256:7c5c39e70930ba9f6ebe71fe622decce93394d7fbb203d49cca4bdf08141f83f
results-70400-3 Expired
8.42 KB
sha256:fa86b73348b4cee7a9c26ae79d930639b38036b1f8f2208116c31e927124a951
results-70400-4 Expired
6.79 KB
sha256:34590a1e74b6b64d1a54347d6aabc8ae3ecca23ee0968d7b49db917eb90eb138
results-70400-5 Expired
7.95 KB
sha256:c1ee580a003aba3584cbcaede961a7aa3c44872e9ab563cf7ceb867f12d38db9
results-70400-6 Expired
9.18 KB
sha256:d9ac6bf0323aebae88d35a25822053da5498ea0cc85926f3b3727f9880207e81
results-70400-7 Expired
9.1 KB
sha256:45a13c044b9642370184bb1ce48d7de59e8c27ed2a28bc58a6b52c4855ce44fb
results-70400-8 Expired
7.16 KB
sha256:fd1225a67f167d6ef1768eea8fe45f29781dd4ecd4c254b01cd558eb61725ed9
results-70400-9 Expired
6.97 KB
sha256:22a8e3c1c68e5eff7ee95a77b7d925646bbe3a1847b336ef8622854ae39e2061
results-80000-1 Expired
6.16 KB
sha256:7ba540f5c82360b65ff6985231e7b0fac063595fd5802389e281635a7441ec0d
results-80000-10 Expired
7.95 KB
sha256:7d7ae78ace3b52f2652684980e4e4ab2b758deff7b9e100acd96d8a36c2375f0
results-80000-11 Expired
7.46 KB
sha256:2c9f735e384ff5a114ade272ad51511d8cf0ceda1540290423ff4fa4b8655c82
results-80000-12 Expired
7.31 KB
sha256:29fce111c1ee622f13cb0e551061e7c85e03df6f7a598781bcb5304e45a05f43
results-80000-13 Expired
11 KB
sha256:7be5d694c49a3116cdbbd93ba3e524eacb103e64fcf78b2cb50345941a75a22a
results-80000-14 Expired
13.4 KB
sha256:0400a04edc2e8727476076e8312a79bfbb52ee13e7c461b860c907bb7bd4630e
results-80000-15 Expired
7.83 KB
sha256:83fb43678b2f6d7eafa91784c774281b90bca0d25c624b960518f3bd037525dd
results-80000-16 Expired
6.65 KB
sha256:9684bb45815a661f507287b4467053adb5f833d95129ec14280fb55158de8649
results-80000-17 Expired
7.27 KB
sha256:2b91d4ea2663fbf29add5b6a046c5ac6ec2f040ca8f59f55df4c9a15a87241ec
results-80000-18 Expired
7.77 KB
sha256:8d7cc9b8de2fc3f199387a1d68a7d77b3bbafd4144914c6eb4949d0cc122bb16
results-80000-2 Expired
7.32 KB
sha256:0bc8ef82850e060a7dc7f5983d7d0b61c2d941dfc20de8b809a9a6de465f96eb
results-80000-3 Expired
7.87 KB
sha256:b075e31cd9041503e6bdf94dc23a1d934f6aa83af9551971b6dd89ab85533d3e
results-80000-4 Expired
6.51 KB
sha256:d9adeba2a2a9b1df3b9e17299c426395f265597af402970b583c66d3d757dbb6
results-80000-5 Expired
6.76 KB
sha256:3d0a9f685c3df420b23b7654e814aadc660f1cc18914fe08e8b3fdfea6180722
results-80000-6 Expired
6.87 KB
sha256:f8fa0f2f7c516b67def2f4f9a00e054e1e2634fd94b9e1230e5f287caa3aab33
results-80000-7 Expired
8 KB
sha256:123a03de3e825354b00b279053e4e83a693d0a1fd2e93d7f23893c97825c2acd
results-80000-8 Expired
6.53 KB
sha256:020068460333a253667325caf2b816ca236469a7a51ee4ad9b59a17e6bb89877
results-80000-9 Expired
6.41 KB
sha256:6b9a335416c777e39283b2dad682a3405dd9f621775837ff2347c3ae03f632ad
results-80100-1 Expired
6.25 KB
sha256:69c6ab75acebd964c1d041b2f9bc8f57e3d1b25928d5177bec8a393d61138212
results-80100-10 Expired
7.79 KB
sha256:5d003ffc87c507b6271270e93ea1aa3bc8819ed1d7484c08b2c6e2f8ffa82bb4
results-80100-11 Expired
7.64 KB
sha256:c8d461d461b91e6503e8401c36659b349aa72ce9411364c180475b6543046d66
results-80100-12 Expired
7.59 KB
sha256:53a6e79b62c307a9d30d1395838dca27e50a985fbdb60ec7c635660f4e347eaf
results-80100-13 Expired
11.1 KB
sha256:05a681159169d71009e271c17a7ddb4582a2fa9e30084d4dfed13eab2b291f00
results-80100-14 Expired
13.6 KB
sha256:5f76e3b59781f3d7480bd16619cdd2a077d5a6786786e258303a995ea59f895b
results-80100-15 Expired
7.86 KB
sha256:6c3ee111e2871bf7e9ae82319f59afd90c6076eecd114da8412d2c146448ba15
results-80100-16 Expired
6.82 KB
sha256:338df579956e410f3f6e30a9c844069e28cd97b7cef429b609a08c203092f413
results-80100-17 Expired
7.44 KB
sha256:2f5e1b582c4839623382825ef5a03453f5e2d95234730a438f9a64bb90bd22bc
results-80100-18 Expired
8.03 KB
sha256:ec7f954fece28d613b2a9de767a508aca84b76acd72356d8a8eb47435468cced
results-80100-2 Expired
7.36 KB
sha256:6d0320856ec6d123c63f35321f5849e11adf08edc08a74d49c9c95275dbf5a8b
results-80100-3 Expired
7.8 KB
sha256:fb9f20f890ea69c6fe618328fdcc134aac9f24bba6b66fcf709cf1f871af7cbc
results-80100-4 Expired
6.41 KB
sha256:27b998fd9436f5bee007754f13ddb6eff06113c24d928efbaf73c17ec5cc5a07
results-80100-5 Expired
6.77 KB
sha256:31714624863e4d5ed1e19f8290cd3c87b71b95b87afb7223b99ad1f257db396b
results-80100-6 Expired
6.78 KB
sha256:54933501977884131e22cedf193ffe9adf33d1e3c1b254fb6a68e5c5dc5ee490
results-80100-7 Expired
7.92 KB
sha256:a1f990429a7127456c1f2849847c068294b8bebbab971dca918574cb344a6f5c
results-80100-8 Expired
6.53 KB
sha256:85dd4d2287abaf8aa6f95421aa230e90ed8e0b0df025fef040338e78203aaa13
results-80100-9 Expired
6.48 KB
sha256:f8a971d1e59da39dfc2bc8544ff833a2d873c8efa68c7838ee77c7dfece13b74
results-80200-1 Expired
6.29 KB
sha256:ad20ea06515bab9e35e0d4dd56e438fb83c42186c370054822484d3de7fabe90
results-80200-10 Expired
7.85 KB
sha256:870df5369a46d42b8815db7927c7bfd59c7ddad8f5d308f496c97ef4a4094877
results-80200-11 Expired
7.64 KB
sha256:6e9552845189e85b1eb1b306bc2135c5849c67ddfbef4c08f002867ada7511f7
results-80200-12 Expired
7.5 KB
sha256:8dcb970e53176d72238ae7b78ada38c04aeef1177b9d30dc63ea857658a11b77
results-80200-13 Expired
11 KB
sha256:959437dd88ff0a539ce32894373ac11ff2113ede2cf018962451e825cda99a9f
results-80200-14 Expired
13.5 KB
sha256:957345f1dbb3bca44389dfb34af48cd9f17c3418fa5c2acd5bd8cf52d3c10a6a
results-80200-15 Expired
7.77 KB
sha256:0bafad362d783a99d1b1b270421505ec4ae7d89ab71ad6323b190501e1ee2be9
results-80200-16 Expired
6.72 KB
sha256:f50d143d5506854e29fc6e31c9d93b767609796cc0593260b5600e30d3011bec
results-80200-17 Expired
7.21 KB
sha256:9e11c546d21af6dfd51a3e604ac17a317564895d8fb164af2d00438180eab872
results-80200-18 Expired
7.9 KB
sha256:77b8b0c18b1f9e579425d6c9274458eaf563f47a3ee73cb7dcef6537df173028
results-80200-2 Expired
7.39 KB
sha256:5ed5f74fc4f687bad0ff76538500b2f89a5c38c34f5e6c1e0d3bfcc75b133f0a
results-80200-3 Expired
7.84 KB
sha256:ceec6b1c65c59c27201918d4756aa4be172ceb5319f9f8fbf186c0ae7ab5ad39
results-80200-4 Expired
6.41 KB
sha256:568fe06d1b57251515843c24f32be24d1b919d938cddedb8d11337186ed35074
results-80200-5 Expired
6.75 KB
sha256:68016c34fddb527d402383975e7a0b58edff9431c440ae0f286ab4a7033981b7
results-80200-6 Expired
6.78 KB
sha256:2cba17b774fe2c64d6ba5f29316f6af57d60459fa3e108ba1abd4562fe06e595
results-80200-7 Expired
7.93 KB
sha256:7e4b19042c167cdf87df19416ecaf4bb3694d2464854d102881476ba090b692b
results-80200-8 Expired
6.53 KB
sha256:6c7ca848460ccc6c423a78577874c23fd1f3131840cf41f5ff518055cf9c4e33
results-80200-9 Expired
6.48 KB
sha256:bc95cf47c9a5ecfb8bef5ece186cf25b546fbc6518881dd3b367c9713b747e4b
results-80300-1 Expired
6.29 KB
sha256:db7ffdca06262a6f3f7bcd25767f1dcf9ce656c29d1016759b36349e877d891a
results-80300-10 Expired
7.85 KB
sha256:748eae6ba4918a8359c7148385f530ec931dd8025d69ae328c5ee447378b7ae0
results-80300-11 Expired
7.64 KB
sha256:ad22d4127a86c7ad5100322dbd6f6536933d56ae01ba426210310b1e24cbd9fd
results-80300-12 Expired
7.5 KB
sha256:ba262b70e084add7e79bbc743b19f259d5f0c1e3790e5fca167b2bb6fadfda65
results-80300-13 Expired
11 KB
sha256:d4c242c6730460c25a210757cec60d460a49c6101c6521ddaee5103b7bb17f81
results-80300-14 Expired
13.4 KB
sha256:a4a9d247e38f50bc052d61f2c9b9a4dfe2b20971913c052126604ab5122d54d2
results-80300-15 Expired
7.69 KB
sha256:0f8f6977fc498394028c83929333d509827868d54bee771b7bd37a8c585656c0
results-80300-16 Expired
6.72 KB
sha256:341ee28118625a1123d7cd280782d61379751c52ae25ba8b427c75699c038be8
results-80300-17 Expired
7.14 KB
sha256:0d574ab5df9fe4ef65575d149358a36e60b0814db75cca04e55824fe0abafd47
results-80300-18 Expired
7.9 KB
sha256:19a8ca6b4cb5e1ee3a1f54a1c712d6a30ce929ba648d2d55dfa2ba56bb1f16bd
results-80300-2 Expired
7.39 KB
sha256:d78f9a997ff646bfbb74af4b43e6c7c24706367e0135770c8c396bef96857719
results-80300-3 Expired
7.84 KB
sha256:353df50869c692094fee2aa1669da8b26598f37ff7186909cbdf8b92432d9bc0
results-80300-4 Expired
6.41 KB
sha256:af9abeb4dc485b475032d0169524b37991f10e5665062f623b39f9b6b77a62cf
results-80300-5 Expired
6.76 KB
sha256:7571f42c249b09de710331ab3c0711618a8123307b18eaa09dba3134ad44c92d
results-80300-6 Expired
6.78 KB
sha256:6a498d4ee88cab3c781b5c811ac516b2c31e908cb6894a89fc4850a6aeb6ef2a
results-80300-7 Expired
7.93 KB
sha256:efebbf0c74b35f454b2d46aafc720334a5ba140609cb231893369376975e5f22
results-80300-8 Expired
6.53 KB
sha256:8a50b5b0a702df05a6fbf5994468cc960c76f4a9dcafeabda29613710b729f0f
results-80300-9 Expired
6.48 KB
sha256:4e542c7c0b5cb1dd0ac8303385abd55311442e9d4d0d437ea281b9f6b453e87b
results-80400-1 Expired
6.29 KB
sha256:71ad9925ed6abf0d0d884f1fbc344ff76db9fbf21101124dd5de219a01d9c73e
results-80400-10 Expired
7.85 KB
sha256:3da81f30dc69dbc8edca9ebd3874b5648fc1b613f2d5b04fdb96f35a98331490
results-80400-11 Expired
7.67 KB
sha256:5966b03062e69069e58aaf46c263cb2760337ed7f27b1b454f8f7871d941b80c
results-80400-12 Expired
7.5 KB
sha256:f91cc7bb71ab4a8620004e39408a5fcda3cbec6440709c025611f1484517a226
results-80400-13 Expired
11 KB
sha256:bb01bfd9d82c9ff49f6781d9e7fbb0999eac728173113b95f1a29067d6213f39
results-80400-14 Expired
13.4 KB
sha256:3e98042acae11488704453698006251f56d4050abb11f5a158a9be954fa50498
results-80400-15 Expired
7.69 KB
sha256:9f15ce9f1d5e6c7289bf6bf0843c15e45e81304a455735f35ac06e994f35afd2
results-80400-16 Expired
6.72 KB
sha256:d75ad784ce089aca8ece1d011c9d6d9d94ce1bc43a092bcd8ee8ac9d6b21ba97
results-80400-17 Expired
7.14 KB
sha256:9359b715391c5785317a71c0f9220e69c7787dbc8ac7595512bbed0e506458f2
results-80400-18 Expired
7.83 KB
sha256:295779a21ff656191201fe3c99eb217fc3008073fa604153053b8cf496b32502
results-80400-2 Expired
7.38 KB
sha256:cbfc3706e29eb5d5c073cfa51436a0c51a675b0a461399be0cf4fa2288f0d1c2
results-80400-3 Expired
7.84 KB
sha256:e31af55ca05d0ca9edc57a66490d508c982c76d09b389edbe5499b102fff2dce
results-80400-4 Expired
6.41 KB
sha256:476b9e5a026d951d13d9cbb735255d70b881b03cde61ba9d13ec558a89c00e1a
results-80400-5 Expired
6.71 KB
sha256:5a48d5e88cd8760b0e0e717d42c6e1b5894943f1a044c50d364c019b791120fa
results-80400-6 Expired
6.87 KB
sha256:85108390742bc7584b563bfc059ca9cb8c8860bb235426141937e57d47113024
results-80400-7 Expired
8.01 KB
sha256:59ae22af3343fb67e1af8fd0e92e68f91908f0e5df560e5758e4e7f408f30d99
results-80400-8 Expired
6.53 KB
sha256:99abb2077754da2b3c9cb0694be8f0229889bae4f6ca5228e72aa9e2f7b8312f
results-80400-9 Expired
6.48 KB
sha256:e96bcdb37baa574fbd9d006efdd184606b30c8f496947f0012c3c245c75555e5