Skip to content

Respect asserts and throws on pure functions that return void #10530

Respect asserts and throws on pure functions that return void

Respect asserts and throws on pure functions that return void #10530

Triggered via pull request March 23, 2025 16:59
Status Success
Total duration 4m 32s
Artifacts 128

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
570 KB
sha256:ca99f94e6c5c9e6fac4536e59657881ec94f13bf4151bd41061d19a52dba7e86
playground-cache Expired
495 KB
sha256:433670a5b6e48fe20f822903a17798cf129aae95e54561f8c30d60de0d289a47
results-70300-1 Expired
9.05 KB
sha256:e3d6f425935279364c90861b0054da9de3391d2012e58ddb13a14011c06ceed1
results-70300-10 Expired
8.45 KB
sha256:35a48ebb286d53f23c3aa35b5108a6fb2cf727d0207c3b6acad17cf33f008dbc
results-70300-11 Expired
8.53 KB
sha256:0343bc7f3e1127f38953ecf04de215fc1a1e64d1aa56f8eb1530bae884953d2b
results-70300-12 Expired
8.64 KB
sha256:cf98b0530fd9753d13f7ae4e47f3d7ff265e9528006f80fcb8b95e5d983ef1f6
results-70300-13 Expired
9.61 KB
sha256:3e0803d33e60ff32cf175f193481420a782b855cc74d165f9b1cb2191ad225cb
results-70300-14 Expired
9.99 KB
sha256:d48b16ee0163611b0e5e8bab0fd7509ea5a23ced8d67244f1e13917506b1962e
results-70300-15 Expired
9.7 KB
sha256:ef0d07beac58859bcccd5c841a7fb7afb0c70d56c8f9828164cc759853187949
results-70300-16 Expired
7.61 KB
sha256:90c51c39358699e42c513375b2a39dd4e03b58e858d36ed4ddae451e830158fb
results-70300-17 Expired
6.5 KB
sha256:c2476e6e90298fe657fac231f6bc5966860c140b84e4383f1ce132c5dd190baf
results-70300-18 Expired
8.26 KB
sha256:a346eb47678434d34a78b759cea2185c445202fdda5d64677e97f4d7763d6154
results-70300-2 Expired
8.87 KB
sha256:7f29c6eb0af3b35325d565641fe1014346ec02d8b18c08b5b288fc3aab7d5d1e
results-70300-3 Expired
12.6 KB
sha256:058571f679c2fac8932d6b352d52c883bb2adb7f4f4c327f0bc03477ae9f5388
results-70300-4 Expired
7.23 KB
sha256:03c12b1c5aa41288af5829b0e2730d00b3c1aae29da0c567fa55612e0335cfbc
results-70300-5 Expired
7.38 KB
sha256:0f82bc0d4d5f483d1bab780546fe4c35842b5281c2e644795e5d4096d071faf7
results-70300-6 Expired
8.6 KB
sha256:d9b2fa0f2c4afa679bc01e0d3235b48e2c64f69f27e5dd065c1d32a84aee3efc
results-70300-7 Expired
8 KB
sha256:04e7d7f9bab09a811b97464cf806a1ce3d70ac099a3f7bb77f445e3b1d934d2d
results-70300-8 Expired
7.42 KB
sha256:fb244d5ebd5c50d2c7c370f7eecc7ae1e750ca06e0dabbac0e0c49eacd4e0971
results-70300-9 Expired
9.46 KB
sha256:e2ec47b3d44b3d065a482adc6ca83bbc05e58f8fde08668dea23355ffb9499ef
results-70400-1 Expired
8.93 KB
sha256:dcaa6903349cf9a48690966ea2388f9be092973d59accb0b9af6614091a94a58
results-70400-10 Expired
8.45 KB
sha256:3b546dee4b2d8576559814c8d4db4dd610d65b18d551d7c7711a212106e7d3ce
results-70400-11 Expired
8.5 KB
sha256:11779f03f3d929cc4de0aa8cb2f6392bd130c830b6a7a21f190d3f7803a1adc3
results-70400-12 Expired
8.59 KB
sha256:be8326d3b4cda444b1ee2b8bb00fa209079c67db3b58e04526f2e79623d55f82
results-70400-13 Expired
9.56 KB
sha256:1b0dd4b1fdd14db654926ecd8d675bef156cc1324946357af01e2b905f10c392
results-70400-14 Expired
10 KB
sha256:fb17b07b103c2b3a92f77df1c0f4e30840116c120bbc87af3e309690dc84e049
results-70400-15 Expired
9.7 KB
sha256:a131f48131d70a8e59c7ee2b4d0d7df8f34a218cb57e79ff81cc607a4779180d
results-70400-16 Expired
7.61 KB
sha256:a61aa3fae2f53d5008199888d93d9debef0cbc1f108012ee0a1aa56fe32aa4f9
results-70400-17 Expired
6.5 KB
sha256:a0bdf84a7825e87bd1188a4a41a3dada2583beb6b5a5162a1317c671a567a634
results-70400-18 Expired
8.27 KB
sha256:469ec7aa0d7ce98c677d97faa378e1c03526ceb0bd87f4d76db4c9345c2e0675
results-70400-2 Expired
8.72 KB
sha256:18758347f4acf671b5d3863f2062e3e5267847211dd811be6f7f073fc80e5f2f
results-70400-3 Expired
12.4 KB
sha256:0b7f31470034cb6b2b8efa1fe7a92e455be1c957111c5edf19f4d6fffbdb076b
results-70400-4 Expired
7.23 KB
sha256:3900e2367c2dc72830a2cac3420995496fb97666edf4fe4551edb9d5e0360b9f
results-70400-5 Expired
7.38 KB
sha256:dbdc3ee605b2d3e879521da38aa3fb6da4a30bbbe1448e59b21c708827aecc1c
results-70400-6 Expired
8.6 KB
sha256:6c43dbf9114d990e928c7626f483f9b8103546f10e313a707acfab7b346e35ed
results-70400-7 Expired
7.92 KB
sha256:bf87feb9ab481f3c18bc749b8c80cb1771a9d4617db164dda888b1489da95001
results-70400-8 Expired
7.38 KB
sha256:0f899de7c5297bb0145026914f20c1d7faeaa58966d19478bae3292e20d7b5c0
results-70400-9 Expired
9.46 KB
sha256:d42cbecdac4e9980458b1873129fb76eda520738488bae0dfe017c1e8a06b2d2
results-80000-1 Expired
7.13 KB
sha256:db8bebdda72fd87488a13b466ac6cc221b5c115fcaf62b32f7eedbac502bb9bc
results-80000-10 Expired
7.85 KB
sha256:dd9b6b5def95fe740680fba7d1687c27182d19f90402b80a9c63b298cee02aa9
results-80000-11 Expired
7.42 KB
sha256:542edca45494385bd48adb676875fc70b5befcd99cd1c5bd446680dbe7b7be18
results-80000-12 Expired
7.83 KB
sha256:b18669e1c2d5154ee5aa2f3a4f70bae851dcaceb96b842c6634b3c8cb4fd22c8
results-80000-13 Expired
7.94 KB
sha256:76b726fffa1b00f8588da858c2e58b7bd30cc96b231eee16a470812d50ccd3ae
results-80000-14 Expired
7.27 KB
sha256:645aadfe77aee283622fc05df787cbc30f5bb8d015a93049fa098dcd00068af6
results-80000-15 Expired
8.28 KB
sha256:072c3850fe5bbf40f18e032f79c531101c19d18340eaec59c8238d92426b2889
results-80000-16 Expired
6.98 KB
sha256:51cc7fcf7f7c5491a1d57049d037d073de8ef32109a2a62af47c5a0e093a8bba
results-80000-17 Expired
6.44 KB
sha256:a2fe61cb76e627b4a41cd150ed144db6bfd344621246ec2133b4745f50a41d2e
results-80000-18 Expired
7.12 KB
sha256:5620f7980769b804639995aea373dfd9f7ce5ab4afae225070dfc5e61c7bb1b4
results-80000-2 Expired
7.59 KB
sha256:00471198aadc4e13920beea0251718cef7dcfcea8609101dfdeb9b7107fd1c43
results-80000-3 Expired
11.4 KB
sha256:a811345b19a4950af2fec7b40b2f3620a71ea1c938d746a75781f3940cae8a28
results-80000-4 Expired
6.6 KB
sha256:da5de0a51267cf7e9d30c18d27793c7e0a83a8ec4d8e8eadec0dc62bd632e71a
results-80000-5 Expired
6.78 KB
sha256:e9839f10043ad26fad33e3e2d190373c9689bac05551de508082f28a264ef21a
results-80000-6 Expired
7.88 KB
sha256:df988c7d4a0d4d8b8d8636f4bf8c65c2055f8d4586635876b6b796ef6bd4f85c
results-80000-7 Expired
7.43 KB
sha256:83c7955d4943538fba8dd150f7dcbc776195e7dc8af4da7f5cf2f01ffd81def8
results-80000-8 Expired
6.85 KB
sha256:2097df55ec4034cdac0c2a75934a58b438b0a33d788fd3675f5ac1372c51af9f
results-80000-9 Expired
7.54 KB
sha256:0fc333bd5b4c0462e57834fa42c0938193495785e32075bc7e6226a4b378d2d8
results-80100-1 Expired
7.02 KB
sha256:7eb460be1b7a4e6ecebfcdcc85d4378d27101cfc178d685e8c1697e97d197d4a
results-80100-10 Expired
8.05 KB
sha256:171297cccc774e7dace2f313fb705a15769d2a3ff13554c415a78c2918bb75be
results-80100-11 Expired
7.6 KB
sha256:cf203f8d5c8d341232454b6e831f39dbae4b516f0ffc7d80e84f2283e0ffb0ce
results-80100-12 Expired
8.02 KB
sha256:b0ed19a7b8285912ac2c66b110c1a061205442a2f0eca9c8c67efe201a6244e4
results-80100-13 Expired
7.96 KB
sha256:f5254c6449706145756119bbaecd6d7e0dec7af09196d15cef157e0a8f8c50b6
results-80100-14 Expired
7.3 KB
sha256:e3902d9052dc92f5007960fe493a17db221974255e4e043857ab016b58939fbe
results-80100-15 Expired
8.18 KB
sha256:9c33f7abaa61bcbc5641ed4bc3fb677eb065723b107efa40d7724a16f7b265cf
results-80100-16 Expired
6.98 KB
sha256:8a169c7703e276b532cd1f943872be1d2cfcbf1c284a1258bcbc255a39d9ef7c
results-80100-17 Expired
6.44 KB
sha256:c65b3c971d1653e17f7d5241a1c437e11f2f71b433c60ee40e1d4bbbae32b0eb
results-80100-18 Expired
7.11 KB
sha256:ba08286e5ddc565d9fb72a65ee8a78d35b6b7602d8b9f113c348b222f2bd0d88
results-80100-2 Expired
7.64 KB
sha256:228723596554c5e24f763f828c3bec415a5b13df9cbd0b2b4565e2637a70e6be
results-80100-3 Expired
11.5 KB
sha256:5abb11fbc8c6849725c427b582cf956ac554c8d483072f5c71cd26a2d9936e86
results-80100-4 Expired
6.46 KB
sha256:21a11e3d793fa71ebb6e740d7db864f8b9b3bb480dd388386d8aeb41b738a7be
results-80100-5 Expired
7.03 KB
sha256:c153bb48595198379d468e27c7a7b1d31c774851b9415c25acdc98dd2ab93bf2
results-80100-6 Expired
7.84 KB
sha256:877a6cfacda65bc40bc8b775f1240c69cfdc2252718712712e88318cb952eecb
results-80100-7 Expired
7.32 KB
sha256:44712ad967b0efc7b0cee7ff1a53369c003dae54dfaf4a654b2a631a24265c60
results-80100-8 Expired
6.87 KB
sha256:4a1d3645c261e0a19ad6a8d998414023140b8f589b208117e899b6f0beb765b9
results-80100-9 Expired
8.34 KB
sha256:521a2658e448c259295707ded78dfd447c3de584fca0efdebd8be1279af1d0bb
results-80200-1 Expired
6.98 KB
sha256:cf761543316aced32f93df8b974c37e4f5cef218218e7273b748a13809d09ab3
results-80200-10 Expired
7.96 KB
sha256:de7479df03c62d7b09bbe50f3dcfb6429f965f7b8a7d00f8486fca460062ca7e
results-80200-11 Expired
7.42 KB
sha256:aa1943717b0cbb094da3105184aab618c537055e4a00e87bad158a0d816eee32
results-80200-12 Expired
8.06 KB
sha256:77afe680ac8250da8ef901f5c3d5d2c45ca9113e18c0dcbbdea39675121c4971
results-80200-13 Expired
8 KB
sha256:7b91f72c9c27fa0adf61f56c23fb981572221a76eae70729ac0ef6a42e98fdfd
results-80200-14 Expired
7.3 KB
sha256:55a691c9ac266667b4143592dfa00b9ec83201102cec8c570bd6fe981701672e
results-80200-15 Expired
8.19 KB
sha256:84550c3f5b8aa29b9034064703e881cd542c8b60f4b9ffa401041f61de307b87
results-80200-16 Expired
6.98 KB
sha256:0eeb15b385821c94eccbaa4ff8ba0aedff0c2622e1d4a68a1952b07296c54697
results-80200-17 Expired
6.44 KB
sha256:b5c166b66ee823613f8ab130531dde89483da347948cc2d845398d9f59ceef21
results-80200-18 Expired
7.08 KB
sha256:bd490ce35cef063758559e1306a180f034a188abf30d9a115e03f037fb266975
results-80200-2 Expired
7.63 KB
sha256:56b495d74cd5f7c1279955ad8f4eee4bb6bd0a1ffc7c2bea302cd916b3c87feb
results-80200-3 Expired
11.5 KB
sha256:21f8df84518a68ce5375bae5c783be5ff0e16538e176e97e0898b35c8c652a79
results-80200-4 Expired
6.49 KB
sha256:2ad85446b65653daceb15a8d3e39bd8824235c412a5340b013ebdcbdd36e3ff8
results-80200-5 Expired
7.04 KB
sha256:55c75373329c75cfdc3d78a4c47a451b0fde21cdf67c50bbbed527a7e865695a
results-80200-6 Expired
7.81 KB
sha256:45e6dfc91498882a2e683c6cff265e2c78bd74b1e4eec18f12f1609f7b95a7fa
results-80200-7 Expired
7.38 KB
sha256:7de1cd0d4a7d004c1fdc177be5eb8e5a51db80f449c5ea63cff0859ad818c5f7
results-80200-8 Expired
6.8 KB
sha256:2106cbb0875df015ccd179a6cd67be5513b0bf08e75c706deee67c3f25df4be1
results-80200-9 Expired
7.97 KB
sha256:a74695bbdc600fd83a0ce75e0a8ec90e3e215e03adfc8ad7858c960aa6b75cbb
results-80300-1 Expired
6.9 KB
sha256:e189589e57b3b7dea433352b327ba532fab3746346563a35a7285712213c34c4
results-80300-10 Expired
7.86 KB
sha256:367ef53f9b16703c7c6711d0ddcdbb853b5591c1a5ce12f5609425b813fe7ff1
results-80300-11 Expired
7.42 KB
sha256:fc5962014e424588424e1ee986b146106571289da5d4981c726382d371ae2e21
results-80300-12 Expired
8.06 KB
sha256:20d87e97a9742a7359812638d36b5a02245220cd63c99d720f22380f6769b43f
results-80300-13 Expired
7.86 KB
sha256:612dc160fb9fb1e4811a8fef52bad85dd8614380c641f900823b9bf2f07f70ec
results-80300-14 Expired
7.32 KB
sha256:3d4f3539513d98c5d18b613dc908eab8a1e41689adb940f28fcec38a338517e4
results-80300-15 Expired
8.19 KB
sha256:2329001cf026fa771f2eb36e74fdb211d2f9572d9341a4a58f62bf384849e5fd
results-80300-16 Expired
6.98 KB
sha256:7645a93e78a7b699882072193f3b2794a1e03ea86732bba7801d57bc613204b7
results-80300-17 Expired
6.44 KB
sha256:4aa7ec10e62f7440ef0d3303e1cd4dd40738cd23ec74b87c4502b821dfaa8480
results-80300-18 Expired
7.01 KB
sha256:b3e6dbd3ac1138fe3074ec52c7f56239f86eabaaf1d94f7a1005be30326277c7
results-80300-2 Expired
7.55 KB
sha256:3c8d47bb416278d52082eb2c243c8f1c54b803c34d95212a6ced256cd1017ffe
results-80300-3 Expired
11.5 KB
sha256:dfd2596dd7570d8a60737980b2cd9278576d3f975a47fef54bdb9bcec5a703cb
results-80300-4 Expired
6.49 KB
sha256:057e849d60ce5f0fd5f1b9e3a014364a3bb65d6e11277466b2ae52c49ccc8d78
results-80300-5 Expired
7.04 KB
sha256:685d626ec27cbf8d8839c813abb421188fe9fcfe2953503080f4b9bde6988553
results-80300-6 Expired
7.81 KB
sha256:1500c65b2f0a9b511a3845a2e8d85eec3c533cc8597415dd460bc25ddb0d93fc
results-80300-7 Expired
7.38 KB
sha256:711d34613238fe7b0a06631e8f866cc3d54d49a1c4e6e20e5005190da4a25d1a
results-80300-8 Expired
6.8 KB
sha256:b7e28127be137c5a96102b2889ec8001f5898c29ed56a229ea83150fd73af5d5
results-80300-9 Expired
7.97 KB
sha256:4ef68fb99f9351ea7e142460d96bb9bdddb849a8be1ebb3185e3bc75696f6932
results-80400-1 Expired
6.78 KB
sha256:ff72955e4571446304c00faa2efdcbb69f9918b446dcd01ea707b3846807ae0a
results-80400-10 Expired
7.86 KB
sha256:d8ab02aaaaab1db5100de0088e6cf972b0e54db7a5fe6795306e618c5811804d
results-80400-11 Expired
7.42 KB
sha256:d719de262a5dc908d62795d87e8167817747a858a98d194224e21ec388d450b2
results-80400-12 Expired
8.01 KB
sha256:f528b40a033ae0b32dc13f5f4733c5d6ea5cad85a174a30a5ea4c9e2c88bfc63
results-80400-13 Expired
7.85 KB
sha256:242a1b20865aa11ce03c7ef14b5d8ba58d9037cdcc44b685a6b16fdbf535a57a
results-80400-14 Expired
7.32 KB
sha256:a4dfe3d836c0c726591ba03263ef137106731b88fedac9ec85afcb58678db26d
results-80400-15 Expired
8.27 KB
sha256:8646e16c712fc9d87df0c96aa5175194f116096644880fe7462279560f45b851
results-80400-16 Expired
6.98 KB
sha256:e287c43e72f5396c5115868f663b5a6b35754a335427bb7d62abbf52444adfcc
results-80400-17 Expired
6.44 KB
sha256:3803e6b81151b1cf194fc199fde8860bb9f739d7c1a3975c4e1152d7002c1131
results-80400-18 Expired
6.96 KB
sha256:1ce67d3bfa9f41725fb2ac5cd84168506a933d7293aab17298739c17f12f95b1
results-80400-2 Expired
7.55 KB
sha256:e9a49bad1c74fe01227247769a684a417995f19d7b3c7b92e9e9ea2ddc133be7
results-80400-3 Expired
11.5 KB
sha256:3127b15c76823a49f8f471e22066c3cc5b71e1f85a318207eedb702f809d6468
results-80400-4 Expired
6.57 KB
sha256:10dddc5e757ee49d62e491441b101f39c9b9fd26df7a5311d1575143513cce8a
results-80400-5 Expired
7.04 KB
sha256:8f786ae2a8ae29e5a8a0073b102379789087eed6fd4bac674913c8a4245bb6f9
results-80400-6 Expired
7.81 KB
sha256:d082aa229641c714d7f087bbfb41c45f94f0b2a62c657438a275acd0ebb5b685
results-80400-7 Expired
7.38 KB
sha256:8f139e9330d26c363e317bddc7c8d0cf2c1011df996f0f38c92a4f56d067a81a
results-80400-8 Expired
6.77 KB
sha256:9e417de6689776e9ca2f2cf2c2cf92a9032d7d7b3067fe82e3dfb5448a6a3ee3
results-80400-9 Expired
7.93 KB
sha256:1b6cd9463e72de7099acd90546a50cbcfe037d48ce8d5d66a5584babce78440d