Skip to content

Improve loose comparison on IntegerRange containing zero #9721

Improve loose comparison on IntegerRange containing zero

Improve loose comparison on IntegerRange containing zero #9721

Triggered via pull request January 4, 2025 14:04
Status Success
Total duration 11m 24s
Artifacts 146

issue-bot.yml

on: pull_request
Download data
26s
Download data
Matrix: Analyse
Evaluate results
13s
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:356634f46ddf9ba07642ee16b88374878ef804f854522e03c611abc9a9b03225
playground-cache Expired
477 KB
sha256:fc653fdac1b89f27a2f59a25a5052fb404e9b19f72c22467955918c6a31b9d99
results-70200-1 Expired
6.81 KB
sha256:885be547a0f3a1b7865bce500860cb1da9dfa20df03716f990236d671e503752
results-70200-10 Expired
10.7 KB
sha256:a0e273bbdfe40b6057d201f8ec23158d93339f9ad88ad8dd45925c37176c3315
results-70200-11 Expired
8.7 KB
sha256:f4c261459f1989b9f33a8d678b7903390f8975c9eade59a76dc5fc0faff02436
results-70200-12 Expired
7.76 KB
sha256:3f86baea40da4713f32a9f334eb6fbbb114a2d476b4cee94408a540a8b04301d
results-70200-13 Expired
12.2 KB
sha256:173dd788998c1adf6c53b6d9da2b12b7ae0b2bf38cc3b1e7ef70830241a9434c
results-70200-14 Expired
14.5 KB
sha256:8840c72c5dd9c00a0f7b9e8cd72dc32145b0a559276b9e945a3264ec0b95c5a3
results-70200-15 Expired
8.52 KB
sha256:3848edff9a8ddd383f1dbe9373325047482c320c6b0e8af3b431972f2685fd1e
results-70200-16 Expired
7.87 KB
sha256:3af3d3defb8afa6abee964f17e50f6155d6ffc4728c17483c434771ac475e90f
results-70200-17 Expired
8.45 KB
sha256:79a53985075708cd7526ee3c24c194a61deec65b8dd52921ad04c8338fd56ff0
results-70200-18 Expired
9.03 KB
sha256:1923c1141ead102f20eefbd3a6f616bb66a9ca29c62c6c61e5a9abfdaa45ec0d
results-70200-2 Expired
8.19 KB
sha256:4e13adb156dfb440de1c35e5afbd73c8061ae080342659bbcd0065d9a65976cb
results-70200-3 Expired
8.46 KB
sha256:ec9da2204e217c97c6a24b6f6925695ccfe1c959c52055253f3105a74d76dc14
results-70200-4 Expired
6.86 KB
sha256:7043fe2075fc45bc96d5980fb93e638ca97acf3ca962a8c1a925532d01f3d22d
results-70200-5 Expired
8 KB
sha256:53ca62c09eb97e93864ab86c8ec98268b1e539975c2c3c7b898aac11385acf07
results-70200-6 Expired
9.22 KB
sha256:d36a6a3016cbfe5b9169db5c86bd6f97508ec5753bf1b9a31d55f8dd909ae2bb
results-70200-7 Expired
9.08 KB
sha256:86af4a5e4e870283b72212061a3799ae5ff50ec41a0559cfbf9a095d166e296e
results-70200-8 Expired
7.1 KB
sha256:f6f7ef02facac01b6d6167164591e098920e685c2f936e667333a3f2c8beea9f
results-70200-9 Expired
7 KB
sha256:fe97d2ca785e90db30ff0291ac9cb23360dcd02c05fe9c32364db49f54416524
results-70300-1 Expired
6.81 KB
sha256:bb7c84cfbe16fb4655254deb433adc54392c5bdd84fb6effce78dbe2542b7fd2
results-70300-10 Expired
10.7 KB
sha256:6a4059c23896defdc00784bc90aa0e7185a97c0070d5a30b7dec002fb426f9c4
results-70300-11 Expired
8.7 KB
sha256:a7b4fffc2b27ad47914fb1c9a8356b38e0074b308e2aa3488ff1b717e89c803f
results-70300-12 Expired
7.76 KB
sha256:d911d05e7df160e0f6cbdae505671600598cb8f5d85b2e1c5c03bc4739379606
results-70300-13 Expired
12.2 KB
sha256:289e2124364d56351f382f3e6dc26769683802922c4eba4a3d2b766f427e9535
results-70300-14 Expired
14.5 KB
sha256:79c907bb8df1e7d7ac841a457fe48101da0c30c52d6a876f09597daeeb7286c5
results-70300-15 Expired
8.5 KB
sha256:76858d92e31ace154ed86226efa24f919106d4303a4b79017ddad05e73120cd7
results-70300-16 Expired
7.87 KB
sha256:32670a6c5e7f6ab127f025bdc72aa6b72d72adf7fc539134cd9e403b0180a2e8
results-70300-17 Expired
8.43 KB
sha256:eb236291ea2117d24594d8134066f53cfef28d7a7ff562630660802d350d1f5e
results-70300-18 Expired
9 KB
sha256:a51abac75ce9f71bfb31e4f8e66c420c6caa6db0e6f37445b2620fdf38e44d4f
results-70300-2 Expired
8.19 KB
sha256:b5d1e273556bc539b7684342162fa0cbae059b7b56a0cc9cf7b3732f73917256
results-70300-3 Expired
8.42 KB
sha256:b9c81d4e2c6f32fb088092a3613c8e7be59a8bcaace3b64f052ab40f48204e68
results-70300-4 Expired
6.86 KB
sha256:c800b6963c1a520147291aa1156bbf0cda65a73cf6486708da7c893d6b7186e9
results-70300-5 Expired
7.94 KB
sha256:10a997a445e5551161d0824c9fc58baacd0c6ca27830f0f64440edd3430d78e5
results-70300-6 Expired
9.22 KB
sha256:98fc013383e479d42ec9e3a9100421f3d11c9b98bdb4ca2cdbbc22136d3eec57
results-70300-7 Expired
9.08 KB
sha256:d0c800fda574f9fee32a9b1413e46cf1315b994a945e039362b1e48c26e80f81
results-70300-8 Expired
7.1 KB
sha256:aed9bd9b6a756ee4c29f81f3c7f111801c33a3892ec178a0e3866a633279178c
results-70300-9 Expired
7 KB
sha256:aa846ffecd71a3034b82cf894f13e876e407dc663dae0f8c6bb7e1fbf2f3f2c4
results-70400-1 Expired
6.81 KB
sha256:5b45ed2f3ac96cab5bd9863c0335a3a21ca5cd41761958b7eca140b9bdd67a6e
results-70400-10 Expired
10.6 KB
sha256:a59131247252049e2db38fb734a5f1386f53fc385868d4bb4562134096411cc0
results-70400-11 Expired
8.7 KB
sha256:a25e5505ad20ed75af9d532fcfcff74165944abb66fab95183af82aa68980dd8
results-70400-12 Expired
7.74 KB
sha256:f539db83b7944a8fae9f64b45e5875e025a054af7f773897210dbb3ff11d6bed
results-70400-13 Expired
11.9 KB
sha256:45a8261c54ac8a032953c53305276851e26bdf1dbbc793b942360886e0e0021f
results-70400-14 Expired
14.5 KB
sha256:d52b6a2c396958d369401429b0b595634c414a1d74c623e55d5460d1d720586d
results-70400-15 Expired
8.4 KB
sha256:7874d8b44bbf566b5e3159a9fed77943b267e0e087b24cece9943ba4911842b8
results-70400-16 Expired
7.63 KB
sha256:06dfd9ffa24bdc980a9cbdca01f680c7a11e5c40cd6e46af5496c0f7b0a51f41
results-70400-17 Expired
8.43 KB
sha256:3b92738e3442f055352a52d776c26d5355a4c8b224879e466b6ef8469f39f8c5
results-70400-18 Expired
8.93 KB
sha256:b577bae9456a37071df80f5e0667dce55473d05f306c0161aea9b85def223c04
results-70400-2 Expired
8.19 KB
sha256:5de2d565d8827548222280483205c3afb8f4f99765e52e241bd2a996394e2edf
results-70400-3 Expired
8.42 KB
sha256:43f5d1ccc63d81df9e33d505cfcd61b2af765f2ab91a982d77839e1ad3d9e318
results-70400-4 Expired
6.79 KB
sha256:42bfa61ea10f81150769f7a45f48b5beb2964154f9b9e18bfb329dcab47894b3
results-70400-5 Expired
7.95 KB
sha256:ff1d3602612ecad4961b6529e8a5fe3eac20fe9093b4a05518baf88713234810
results-70400-6 Expired
9.23 KB
sha256:7f425b8b3ec3b27c6e308e9a184defd6c007e2ff2ecf775d1e7014c68228ea86
results-70400-7 Expired
9.08 KB
sha256:5ba54cf303685da7616586aad385b115428837d07858e27773b57549a2d12483
results-70400-8 Expired
7.1 KB
sha256:332d51b3aff2ea0cc4aef43bac97c0a839fd1c9fae8ef6797a2161111dae9d3a
results-70400-9 Expired
7 KB
sha256:5f86669da1c4375c3e8e2bbf4712387dd919ffbf1b376be8e5ed0e2228649836
results-80000-1 Expired
6.16 KB
sha256:02cdc57ef5cbdc19ba66a9f52d642c71b10a90d087e47ec0f555dabcb38c89e6
results-80000-10 Expired
7.92 KB
sha256:b17fabd8d72ff7efea486cf23614cf221f206b34eb8de0db721d60eca8063f35
results-80000-11 Expired
7.57 KB
sha256:e10810282db34a9ee4f49c8ad0b22236a19cba07810edace56361c8e5d1aade5
results-80000-12 Expired
7.32 KB
sha256:300dff91215b702e6ba5181dd0476accd990cde0e45c28721906d3d181186558
results-80000-13 Expired
10.8 KB
sha256:cf35a3f61ec9dfd717b97f66486feb25ce7dfbd2d46ed8586bb836f3f6b989b9
results-80000-14 Expired
13.6 KB
sha256:fb7ce5a91e302831767b58191cf67280244fed68a27a67ea77fb1a927027e7e7
results-80000-15 Expired
7.71 KB
sha256:7f4af594a5a0b9529e341fe28b48d914b28a341d2d7212e51deabb1928ff506c
results-80000-16 Expired
6.85 KB
sha256:b72717fa8c74b912c7a195725335760f30f9ffb63b021e8631a833e65368cbb1
results-80000-17 Expired
7.12 KB
sha256:9872550dd3c5c5cd736118678e74e17076cef433e81e01734be3e5828658ae21
results-80000-18 Expired
7.64 KB
sha256:ec7ef056a34fa6460de65acd03c0dfc30f83a3b4e7cf7b05d3955eddf9506485
results-80000-2 Expired
7.32 KB
sha256:08fb157ab1c59de604489afd79c88ae528d9fa4b7cc986dcd66167f03cf589c2
results-80000-3 Expired
7.87 KB
sha256:fda887207a18afa657c1d1e028fa58498cb5b9fee0d90be695dcc675244ffa1f
results-80000-4 Expired
6.51 KB
sha256:4f400794bb0d4f1e554db3c93ac89fe552220bd5c8ea49de091365b846ff2ae5
results-80000-5 Expired
6.76 KB
sha256:65123a1a4ef91a717c578e8a3c04059e6d2487ca8ad5bdce2159b5ca5059c4a8
results-80000-6 Expired
6.95 KB
sha256:f0f11ae0841c3eaaecbf2ac3f37cf23a5265d929460bc975c0b05021958cccba
results-80000-7 Expired
7.98 KB
sha256:61259e749be2fbaafc1518996d743b595fd15622153f827c8a1743ee76ff39dd
results-80000-8 Expired
6.47 KB
sha256:23316c73f2fc1d07d6d53d2cdf2e6149f76758a92c2e9a607c8f95e1f78f3b41
results-80000-9 Expired
6.42 KB
sha256:5df6a09fbc186cefaf4f8138e47d258bad8f270e4f32ec54e2238f5e08a94212
results-80100-1 Expired
6.25 KB
sha256:c440273525b9cbb9c7940f45ca09e4082dd7e282a64e07320fb5e2fdfeec9c80
results-80100-10 Expired
7.69 KB
sha256:6d1f1cf0a4b002bbea773cfd00381c2c2fe7bac15a1bc72ea8a694d235e72d94
results-80100-11 Expired
7.73 KB
sha256:bd48676cf38cbbc0a3d4c3942cb9ab29465ac2524b5fb2f1b18daca39eadefe3
results-80100-12 Expired
7.59 KB
sha256:130a6133a8c7e5d00cb336d3ea23928faa1436e9be9db6651ef0704ba58b357e
results-80100-13 Expired
10.9 KB
sha256:57bfa4978bc67d2e6ecb84b2afefe84a0871ce9b878235dd30f0546bba43c3ed
results-80100-14 Expired
13.7 KB
sha256:09f138427b012dcab32f427fe9d0afa220a93ecafd700f00637c328a689b9c72
results-80100-15 Expired
7.76 KB
sha256:feedabd14cdf88f53e500013b6b30eb9b480d1309609d5fadd1cd9dfb5680f73
results-80100-16 Expired
7.07 KB
sha256:da351c219469767d4496f57e2b5b04ba949e2835bb74387a9dd1058bcac0ad94
results-80100-17 Expired
7.21 KB
sha256:514cf120d290e6d52755deed0f846ba47c48c94efe46165d442c11fd6c8b0784
results-80100-18 Expired
7.91 KB
sha256:d9bbeba08a6335ae0998281064b8172651140a529ba82f8ecc06045fe769f079
results-80100-2 Expired
7.36 KB
sha256:3667a4161a62dddec9069ba72e00dbf9c770d9aa1f4825033856f1d80ee18a97
results-80100-3 Expired
7.8 KB
sha256:0cdca23f0c2d85b4f2afc63ce7a7b1c6b4d1d7b246f42f11b0dbdfcfd1296546
results-80100-4 Expired
6.41 KB
sha256:f53021ce524d8bf9e20d8fcaf4c070305d91cae99c1eae9e3daa4282bf2dbd88
results-80100-5 Expired
6.77 KB
sha256:3730e44d5feaf6ff22a8e30a74c5c626c7e756a093fc98500a87acc9fa6447b1
results-80100-6 Expired
6.82 KB
sha256:eda27f854f690640d8761c3aca03f15861a0c8f9f1622b82309612340e848332
results-80100-7 Expired
7.9 KB
sha256:b465e51770361ab6b732a36c76c239e08fce8755497ec285ba5298f126fc05db
results-80100-8 Expired
6.47 KB
sha256:86cd3ffeee536f390e5f53274d187926b7bd7c17a3bea88e38dcc16eed6006d1
results-80100-9 Expired
6.57 KB
sha256:655b9243dd10ae684ad6687fd44a0e29c2aff69df0492b351581f9fecc9e1900
results-80200-1 Expired
6.29 KB
sha256:24124082bb147812294ed3d1d3ee98b4675932dc36c68cb8806e11088223112d
results-80200-10 Expired
7.76 KB
sha256:057f5fec1b3c16fcd2e35226c582dd2462161a0ca8602f6aeec5e5040729ff7b
results-80200-11 Expired
7.73 KB
sha256:477505c1c72845e72f16f89bd57a0060c997ba0b7e2813b4bc2905afbe7d3649
results-80200-12 Expired
7.5 KB
sha256:f7c2eb64f9531756c200d3c4501a6a2da6da22bf1ab95954f27b27d45c859497
results-80200-13 Expired
10.8 KB
sha256:e99f3248f1bb7f31d63ecff40ebb57882d6f00b4b9c24aead09b1c3d0c8a7487
results-80200-14 Expired
13.6 KB
sha256:32c24de553dd7be9c4b77c993e8bcf81ad5cb4264112ebf3cbe008365dc8fc4b
results-80200-15 Expired
7.67 KB
sha256:b98fab18729f13bcd721bbde5949d6ad606d5d37023c2ddf62baadb866763127
results-80200-16 Expired
6.96 KB
sha256:e8948d597189e8f2aed97bbda2d7bd2ed34d396d44d7357b6337f7d9ae82244a
results-80200-17 Expired
6.99 KB
sha256:a01463424fa1a9ea86eda6339467d0b0cff0301e085d957c11e77adb382673fb
results-80200-18 Expired
7.77 KB
sha256:5d6d65e4ad4497ddc0e2f7c2412f4a3602a0c4e2d47173585f7ae4d287ab658c
results-80200-2 Expired
7.39 KB
sha256:93659c338601a928d371665637addf2ae9eb1a5b874cce27477b55589a066f17
results-80200-3 Expired
7.84 KB
sha256:00a4c8dbbfd584444dc6255313c06257a2553d79d6aa7b7f4b9522aa904bb048
results-80200-4 Expired
6.41 KB
sha256:cceb373adcc065f4568b2370128a138f02deeb424c4725a63be9e85adc8fc334
results-80200-5 Expired
6.75 KB
sha256:b55a761a5c85ee84a709b0d74155f725c2745374d3757561fd1e721727faee57
results-80200-6 Expired
6.82 KB
sha256:d31bf249363c2383b7a9d7ebd2505e8b412d78c0f477543ccdc720da04dbce22
results-80200-7 Expired
7.91 KB
sha256:1aa234c92de4692f057a08e68d366d8394c9f05cd9bbdedc77d3e7a3fa46c028
results-80200-8 Expired
6.47 KB
sha256:b3f949904296460035b18f73e8f5f19c189000db5db36afc2e381db14858dd44
results-80200-9 Expired
6.57 KB
sha256:4b26b736574ce6655cc2f47fb50943494a747fb9aa2108e02b306762213475da
results-80300-1 Expired
6.29 KB
sha256:30bd06c0fe09b50476507b7d83a84c9e36c5616f73e126797daccc4484f8ad0c
results-80300-10 Expired
7.76 KB
sha256:5dbf3352b1d472adffa3726d8b62b814b3c2101a0d491dd76bd73b679fa10693
results-80300-11 Expired
7.73 KB
sha256:23b5046f05b873a8af17c1a1025dd2e6bde62302b1841fca638d82f76957449c
results-80300-12 Expired
7.5 KB
sha256:d51a17e8f323a3edeef86e35e22200c43ee3345ea5c524f23c9eb6b725603157
results-80300-13 Expired
10.8 KB
sha256:391132f47091c3f9fa88e68724e24fee4e4f2f48ad444c3006d6aa25d8998750
results-80300-14 Expired
13.5 KB
sha256:a326541392bdcc44039521af7cb8ac3a3fd9325518e032f0ce9f8321433abc36
results-80300-15 Expired
7.6 KB
sha256:dd3676e32961fc4d21f85f26b16d07ec4ed8bc90c3c760fd9dc578978ffdd19b
results-80300-16 Expired
6.96 KB
sha256:8dcf7c11ecbf729d634d34a67f6574aa339ea953f9d3a2d703db2f4972d43b50
results-80300-17 Expired
6.93 KB
sha256:c5df7f750d728024797842c386870954b52714d0a06301f6142888936ce41cbd
results-80300-18 Expired
7.77 KB
sha256:4461146f75a171a766f1cad02d976439a67cc04b5e6f7a2c54d2769513e6abea
results-80300-2 Expired
7.39 KB
sha256:2a7e25c7a179412037404694a5d01adf7b485ef22378f37f6471f1e4d34e5a56
results-80300-3 Expired
7.84 KB
sha256:b6706dfd43eabfd0216e8b2b19d14fc4ced8566095093a81bac867735e39ca70
results-80300-4 Expired
6.41 KB
sha256:d1c2244922bf9c582d141bcbb48641f9e1c6008dcfc2274ee4819a15fa3430ae
results-80300-5 Expired
6.76 KB
sha256:8160828e2d43bd5f2dcbe8fec6c4ae43a601dad71a97fb5b9d2ca2ec9a5079a3
results-80300-6 Expired
6.82 KB
sha256:b3027dc2f772965d00d76a311709b1ffff2ae98c12862156aab7f91332f4b61d
results-80300-7 Expired
7.91 KB
sha256:8b7a8007ac02ecda22e9244d5f672ae8195befda8311cc4e707430a31d5d5639
results-80300-8 Expired
6.47 KB
sha256:32b4254a68cd09193c1a1d52141476b557fce2f29b4d1cf38128cffdc368f9b7
results-80300-9 Expired
6.57 KB
sha256:a9e95fdaea3a73af7c78cec3141028cc783eda0804d4e1cca2768c1e2b532f18
results-80400-1 Expired
6.29 KB
sha256:681a4a3fe70ae7f3f7d765ca16cf68973d2d69e04b61557a4d08238875492f7d
results-80400-10 Expired
7.76 KB
sha256:33f71d541fd50f6aac84224a401b03fab78c25ed47afb10b15706050e6c4bece
results-80400-11 Expired
7.77 KB
sha256:8371fc84d93fcdd532c1922647abb38a8b87aee8e42def5912aef96e89094395
results-80400-12 Expired
7.5 KB
sha256:cc9d77565bae26facf33239118775c7ee99fa98666b8102e01ac53aa958f89e1
results-80400-13 Expired
10.8 KB
sha256:699168226ebc3eb448029da7a2c1851c74e636a4013500553e50358c62c44a95
results-80400-14 Expired
13.5 KB
sha256:beeaafb0d0b9e1222ae57b5ca77ef71feb70ab1e5370ff828073d5a1eea577a1
results-80400-15 Expired
7.6 KB
sha256:55e9a39507ddee8d40891293b40dfc26379c3e13a3a039607c4e1f1f631ec96b
results-80400-16 Expired
6.96 KB
sha256:8b58283bef8ff84fbf806f14a6ca75717308449c74be01abd08e103cdc3d718b
results-80400-17 Expired
6.93 KB
sha256:ab0760d263d34d1b2e55a9ff43414fa05dcb9430e1fc0ac2dd30f06984dce476
results-80400-18 Expired
7.7 KB
sha256:2fdfa3fbaff9d968b68f508f68d35cf1c6d87bcd9abf6eadee2658bd1bf89413
results-80400-2 Expired
7.38 KB
sha256:d552ab8c30b91d10208bf1de6b6c2b0efdfab5ce9227865de8ba041d3af09e47
results-80400-3 Expired
7.84 KB
sha256:5fbcd1009ffed46fd341d93a65a508b834e7bd9834503e3bf1826edf306a1ace
results-80400-4 Expired
6.41 KB
sha256:db3278e4e813c2c6ef20fc4b33345702a34152ac404b79284e2100c137a232ed
results-80400-5 Expired
6.71 KB
sha256:88f243af2d03cb347121f0c9713c7acdddf22e2f73c8d10e2fe9f2c13a87e036
results-80400-6 Expired
6.9 KB
sha256:12c12fc87d08110e2e82499b985a6fecfd6e8e596d49ab1679f6f332a4c4a4ca
results-80400-7 Expired
7.99 KB
sha256:1db021c7bf74930d2e31d7bd3ebdcd2c25a773412262f03c7ff0fbe15091ce4b
results-80400-8 Expired
6.47 KB
sha256:46aa0ef3d98b938e23cacc95ae816c159259eb516188a391ecdea9c3f4fc2f22
results-80400-9 Expired
6.57 KB
sha256:4403cb7bb934c5cb85c3b83e66343cae1c5a4938aeca7e541cca8c183843821c