Skip to content

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

Respect asserts and throws on pure functions that return void

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

Triggered via pull request February 5, 2025 13:15
Status Success
Total duration 8m 46s
Artifacts 146

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
560 KB
sha256:33f3348f1d29a22ee90afd7d90f3e6dc884a10ca392b2076e2c27419bbefa7de
playground-cache Expired
494 KB
sha256:2f0063855489caec9b8e5b2c94cf6b88076018415f10a73bb492a4b14727fe7c
results-70200-1 Expired
7.05 KB
sha256:ebeda36e83c67d9a76087188b9967c61fc9ec2ecb8efe60d1caea350bf37cf5f
results-70200-10 Expired
8.37 KB
sha256:11ae56bff6865c7a325bfbec3cd92842b22873f306cf6956a19ff62bba08a43e
results-70200-11 Expired
8.04 KB
sha256:fab0b05ff1c475364d1d82eecaf94b9d23de35d8f21e932aad89c2743b0f0bf4
results-70200-12 Expired
8.78 KB
sha256:e47c65cc8d66f7093633f1fd591992d36f674add65f381370a68b75883417204
results-70200-13 Expired
18.2 KB
sha256:5af405e1539d145f650a96773ebfb0f49ee5a7b02626713ad140f268f97aec11
results-70200-14 Expired
7.43 KB
sha256:62bdf8192eca7a03b394c8a355606f009544debd19892e440108641f62d75d0c
results-70200-15 Expired
8.75 KB
sha256:0174ec3a2f649e8978c006e8f069abd83db8ce475b9a8a2b3b742b7e9a611963
results-70200-16 Expired
9.01 KB
sha256:82fbd58930d770908ae04b8f8df888666d4b2afc224623fc56a2bcd7cd32312e
results-70200-17 Expired
9.47 KB
sha256:3ea0cad4acc8b2a34083bff7e66ba9602eaffd11fd103bd11c12ea9da408cdcd
results-70200-18 Expired
8.95 KB
sha256:2e897fce388ded2da54010027376256cd2af1d62c3c5f35426c9995cf2739c68
results-70200-2 Expired
8.4 KB
sha256:d922b17d9c3a9c32b34f76a9698b2b497834f10123d7a4c78d59c0c0c0171a1c
results-70200-3 Expired
8.37 KB
sha256:b03ccbf1185d8dc7c662d44cb4b65d8115fb48d7f7f61583ca394d6e06dfd7b2
results-70200-4 Expired
7.33 KB
sha256:71150860fcbc11b4fd43548df1863fbfd394fac2d7b7fbd9f604e0b66d81226b
results-70200-5 Expired
9.55 KB
sha256:5e05827c21adac46160aaf7ab56de4eb01bb79d94ca46f9a55ff71e79a32edd1
results-70200-6 Expired
9.2 KB
sha256:3645a3797143bdaef30d49d80023faf65cb0f3ab4f4b431a344bdbf4db1a81f4
results-70200-7 Expired
7.8 KB
sha256:3a392ad97c49ef4cff54e162662ae080913f4b87da4e4602699f4e5cdf7f65c2
results-70200-8 Expired
6.52 KB
sha256:6963c6ab12f91eab594c67ac70d0a41590e40f80427d874a9aaeb5ff9c279345
results-70200-9 Expired
8.99 KB
sha256:77f4e45132f88d955b0ba0620cc820d46841252dc56f1d039e458020cd24aee1
results-70300-1 Expired
7.04 KB
sha256:246687eee0ba4d20995ff07fff144875897255fc00eee4078eeaefc77ba12e46
results-70300-10 Expired
8.37 KB
sha256:829991b7531c43f90e51cb33ca9635172f3c55300ae793ecd728e1c807f15628
results-70300-11 Expired
8.04 KB
sha256:b4b383151332d301c66d5808ea7ae031296684c427ad61b31837324d5d17dd2d
results-70300-12 Expired
8.75 KB
sha256:58f7b109b51b98a2b17e33ef12089f76ed99a8012ebdb263abbbf03a7c2dbfa0
results-70300-13 Expired
18.1 KB
sha256:024310f7d7d47eff4f341cd43bc20b3012dd8407806514bfea4d76501abb9653
results-70300-14 Expired
7.43 KB
sha256:25f16f8cb92b787f4ea223872a7125ae668d9faad9e43406cc96b8273426d1a0
results-70300-15 Expired
8.72 KB
sha256:274c7e381f48a17552dd91bc6656ac1ae023c97c518d9efb10c18f29f6edf511
results-70300-16 Expired
8.98 KB
sha256:a3d1d56caf7eda8ebdb49c7a74a44d65f40b704fb742a3cef3b4ccdc04664afc
results-70300-17 Expired
9.47 KB
sha256:3b6cb3dcaccb6d7df1a2e10067e0f95d9736d780b3127a784d79812e4857d5a2
results-70300-18 Expired
8.92 KB
sha256:0477e20e2e11ed6878d62535a5ed79ec5b8634c94920655a367391accaa211b6
results-70300-2 Expired
8.4 KB
sha256:8e9d585a060e478a6362387715c8d2f2d4ef792479f988c424829e809c44757d
results-70300-3 Expired
8.32 KB
sha256:740f45b1113f42278896420eb00916daf66e2839a04e38526a7f8318b0e5382f
results-70300-4 Expired
7.33 KB
sha256:04106921fed5a280d69c1bb387adcddea6cf8d3964f197e71614d0a6db60ca02
results-70300-5 Expired
9.5 KB
sha256:ad78afc8e00ac79ac3dc3bf87d9c72c4af259bc14f064a04e468180614d15ba5
results-70300-6 Expired
9.2 KB
sha256:143be87fd1ad5e53af7c36c39533edebe602af64f1fa69c5d4d62d6d3c17807d
results-70300-7 Expired
7.8 KB
sha256:c82e024a1cf6a5fc376bd30df3130ca90d332738393cdc2a70ca6e43c9710a9e
results-70300-8 Expired
6.52 KB
sha256:424e0163344bd26714a894a9dc1d99922385ac884e64497c0ef30e681cc7ca27
results-70300-9 Expired
8.99 KB
sha256:21f720edd1cfe75b9b7b99127c1f4dc172a5a8d25dac94a9b81d517bb6b40beb
results-70400-1 Expired
7.04 KB
sha256:7dae1f748efe6291c702cc387f42411576e5043d4cfa62e4c0847880770697f0
results-70400-10 Expired
8.36 KB
sha256:98c6209b130c5b0f2364c6873d9f6dc2cdc623571425c714cc9f863a1f6ee672
results-70400-11 Expired
8.04 KB
sha256:db8acfb555009c4725a68ef68263233aa9ae09e78b3b2291d42b7b12c1abdf1c
results-70400-12 Expired
8.65 KB
sha256:fb6aa127f10ab95f49dad0316c580fd04b35db4f4a1077034895057320913da5
results-70400-13 Expired
18.1 KB
sha256:77c6fe2a2090d530a2f0d9290c1ed268306631db5fdaaf382074dd3279e65170
results-70400-14 Expired
7.43 KB
sha256:d133985cc91622a2949488a7652cf9184a7ba21a04dc63f77fe29aea14ce8e7c
results-70400-15 Expired
8.45 KB
sha256:3dc51726ff659aaf2ab6bc60aab728e6ba2700e9344ef2b8ac79b70de33d8e2a
results-70400-16 Expired
8.98 KB
sha256:6725d451c94d6643c7e31eece5e867eb8541a214685a21970dde27b9e924e8b7
results-70400-17 Expired
9.47 KB
sha256:e121e0b0751a88f5b342749495b1ddee4803f2c01147fee421e429f82a7d1886
results-70400-18 Expired
8.93 KB
sha256:f47f65f6e5becc93d0de51df424701bdadd7bbd7b7a297b076954c7fa28a3bb4
results-70400-2 Expired
8.4 KB
sha256:a56491f3b3ee29c492933b8435d5bad0a87712a14bac4b7912bf960ce58896f1
results-70400-3 Expired
8.32 KB
sha256:cb388bfd4586525fe0ae5337804f5259106058b63ec2b1aab5730ece3b449e09
results-70400-4 Expired
7.24 KB
sha256:650668d53d00d5f0216584d501e55650c8f0dc607ae7c2330f03eca7117ad4d0
results-70400-5 Expired
9.52 KB
sha256:aadb43c03da67ace76b60f9a75ffdcd204499141a4195ea62aa3ffdeb67879de
results-70400-6 Expired
9.2 KB
sha256:511e26edb698b08093feedd0cea25e7a207149cbb3037602a586f425143df5e7
results-70400-7 Expired
7.8 KB
sha256:7238d1f80cfef5b149113ed3e537ab0c945c764b67fd8cc4c419a0fc5e8d72f2
results-70400-8 Expired
6.52 KB
sha256:edef6ae9c243d2ded8997114bc60b594ceb21bfaf91c0c71677f29b2d36c5fb9
results-70400-9 Expired
8.92 KB
sha256:683af0221b5449cfeae79b45119ff76d0666293da9d70e9766dbaa708a306a45
results-80000-1 Expired
6.39 KB
sha256:87f41977882d88508a6ea1fa4e9b0d357e5eaf09c20f21277410ca5a8971d00e
results-80000-10 Expired
7.02 KB
sha256:2fe2d57e614cbe2ebf741acce882d47b2a1c2c4a5f9598e9c25f681b12aef2dd
results-80000-11 Expired
7.64 KB
sha256:713d907e7be47d80057c3b49e760580adbd6c6c28b16d77a55d9abc8b7821787
results-80000-12 Expired
7.88 KB
sha256:4100b9c4a8a4141d2491ae62f197ac12cffc0235f8473fc06188c20be33b957c
results-80000-13 Expired
16.7 KB
sha256:c7c1b8de192753579be8ad97bd02aaeb3e691d4ee9507d540ee87dd42726ed46
results-80000-14 Expired
7.05 KB
sha256:b5d14225be926afa54ec5085db0f187b488765ed9d6a2b7b9090f065465e60a0
results-80000-15 Expired
7.53 KB
sha256:4a4bf11b4eebb11002e4701798fcdbbfd63ebc9b4c1969eac4b19fd839d124e5
results-80000-16 Expired
7.57 KB
sha256:5058eff9e42d4428330ff66d6282f5ef43a1e0e4242dcaae33fd9738210a0d50
results-80000-17 Expired
8.12 KB
sha256:df2b2104aca12c0d87bce67535a35c9aebdae48a232d046ea2c4a0fd303c01ee
results-80000-18 Expired
6.91 KB
sha256:de3781d763b7375b3c2a66f1028819bac0937754fe7fef12613566857596f761
results-80000-2 Expired
7.41 KB
sha256:fccd5863f787669e9ae444805c74d11ff856eb753a95957a8162fe9c2d825a8f
results-80000-3 Expired
7.95 KB
sha256:dbc3a335284d5a5078f87ab1838630ff1692dbcf808080b30e9e9ad9be3b197e
results-80000-4 Expired
6.7 KB
sha256:030adf39520e95daa5c1aeb54fd1eab0947f8e45baace3963b0b0a2e608c9b0e
results-80000-5 Expired
7.19 KB
sha256:1f0c2af40f28177b3d410c2c47ab9eb937c2d8d2189c0048c9e38ded25cf6edb
results-80000-6 Expired
7.8 KB
sha256:63668f58637a8fb82c1941bc82c540ae543b317b8a65f3532ddeafe95c802f20
results-80000-7 Expired
7 KB
sha256:dde41d126e29d1e8d0c896a72ed713a55a559f28cd0fd7beaf2892d04e5a1a3c
results-80000-8 Expired
6.4 KB
sha256:71d7909f03cbab8ddf30261fa26e8a0384b56c2f4f57c6c09fd351c89c736d0d
results-80000-9 Expired
7.53 KB
sha256:7c08687bcad36cb76c27554567aff44f7e09e3afa78c0290baf6deb956b7373e
results-80100-1 Expired
6.47 KB
sha256:cc6991b635448d1c028b1dabca2a888cbee2c3b4c326c45b1913588dd42026c6
results-80100-10 Expired
7.25 KB
sha256:1e76132c1a80f96a8abb1d8294a2cce2544517507f310c27c41067d9430a1876
results-80100-11 Expired
7.81 KB
sha256:5403f974045b81f5ab66ea094cba92bdf90159577d0573f353da2fddfc5836d5
results-80100-12 Expired
7.91 KB
sha256:060194c7fd81ad11cfb31174808c03100e18952166f38024dabdd92705619f3f
results-80100-13 Expired
16.9 KB
sha256:989f8b0fc7b5365c4e45c134929eee132b24391d5cb4ce28782310d19eb1ce64
results-80100-14 Expired
7.24 KB
sha256:98009eb9e9f72716420d752ad30d51e2e49d1c9ece2179aa75fb79f4da2225d7
results-80100-15 Expired
7.66 KB
sha256:4edc9da19b914f9dcc056bc40b62505b24ab43a611672ffcc5dc9529e9316e28
results-80100-16 Expired
7.55 KB
sha256:7978adf9076e852e07053936e517ac046fdef75ca43170ba689c77380c5ee684
results-80100-17 Expired
8.54 KB
sha256:c1bfe5e213c8c19bd3d284e5604dc09631f75c24ab02914ee367cd46d42fefb1
results-80100-18 Expired
7.07 KB
sha256:3fe357f3843556589ba5efcf40c5b255cc026a439b1b95dd8ce6d438cf171760
results-80100-2 Expired
7.44 KB
sha256:5fdd393b25b0159e525168c3c4da95701a4795b2627540c36dd07d2e0b073b84
results-80100-3 Expired
7.88 KB
sha256:018f285115c3f77c3312a1b2e9af442fc6196b3abfbcc9d74ab42677f49796a3
results-80100-4 Expired
6.54 KB
sha256:67e671eb5e95e1df9c8b44f10298f763b62c030ec5ad43d7be53a214e3f11753
results-80100-5 Expired
7.27 KB
sha256:49a6bc90647484b15ea1281039304d06ccc5f6d0721a498d87b228756d63d9ed
results-80100-6 Expired
7.55 KB
sha256:bc8f2d31d733a5df368546a2aed6304814014b309cd2f26bebd7c4661a59494b
results-80100-7 Expired
7.07 KB
sha256:2e7302dfda078bfb5f111371d5a2b7b1cac562df01366a864c0a3b59ad6e0078
results-80100-8 Expired
6.4 KB
sha256:d80175e35cd4f7ded661e20f8658fcee50d5f6af4c1617a34853fc7818e5bbb6
results-80100-9 Expired
7.49 KB
sha256:4bd5183ed569327a3ae191d823d4a6151700dea5b4097939c49da4ca1198aa63
results-80200-1 Expired
6.52 KB
sha256:2e1b3e1f255aa605f55eb8dfc2f8b19f76f7ada834ca63c51f7c765920efa20d
results-80200-10 Expired
7.33 KB
sha256:3851171b116e2ab2b825876b1f478e7639441db2a9fe50e25f4cc242a0221ae0
results-80200-11 Expired
7.81 KB
sha256:9e57f2e28dbc49b7215b4f6dcf5a5b8599635838e4607755e4a2e5711a5d6ae0
results-80200-12 Expired
7.8 KB
sha256:e925ac92c1f6ee484c3fd6ee5af8bf80667e8f6fd59d06caf46159bf800ba781
results-80200-13 Expired
16.8 KB
sha256:fd24912507d31e57594013220757e42de0085126046672faf92fb1e3d1c61147
results-80200-14 Expired
7.24 KB
sha256:1796f3d019bcdd843a8552f500f68b1dd10148b0b799021eb705a7d237b526a0
results-80200-15 Expired
7.51 KB
sha256:0edfa37bd497a6d599d5fb059d15e019b401dc7d86b2855c0be87bf7203508ae
results-80200-16 Expired
7.34 KB
sha256:42e9cc79345f5b6ae4bb31d0bcb43c18daa5090d8507215130a3857b5e2bff10
results-80200-17 Expired
8.4 KB
sha256:9eff0f89b000bfff5575bc6b84dcf8194026fe3567a8f37ae6b8b964898eb4bf
results-80200-18 Expired
7.04 KB
sha256:2d4657237e4edcd561b4c56e8b79835aca25aafbde06f5b7b10e4f4006c43010
results-80200-2 Expired
7.46 KB
sha256:962a181bb0fc0b437a5e8cb03fb4e08648aecdca8fa50ecd7ac0391e279d1ada
results-80200-3 Expired
7.92 KB
sha256:6505462fe78cd89e269eba7ff67bfa4cad3822fc6fdafbdcc5de7b4d0601a2bf
results-80200-4 Expired
6.54 KB
sha256:67c6f9a5e38d4639a63f4131be98af359d1b7733e51ee4b46678711a6ebe1e56
results-80200-5 Expired
7.24 KB
sha256:280115f6ad4287477d2114501b47507180d8d15b6436d7759d25a437a1819512
results-80200-6 Expired
7.55 KB
sha256:c812369acaf4710213a5d13ee75c732a5ced217314d9421f863076d9013fa15b
results-80200-7 Expired
7.08 KB
sha256:103d3f1b493d57dad2a0bfb6dd373ae1d5dc2c510735e2a3d3ad302f6aeab857
results-80200-8 Expired
6.4 KB
sha256:bbf6ed1df25c8278e97350ffcec52fe012f4867b5a53b3055e12e3e8a926e739
results-80200-9 Expired
7.49 KB
sha256:980353732eb19d676c5df2904a2096d8b3cea898379a012b6503903d922d326a
results-80300-1 Expired
6.52 KB
sha256:faac679e13401dacded029545d21a71c970266aeca1893d2d5fc3ca200e80417
results-80300-10 Expired
7.33 KB
sha256:e47e4401010fcd9bf81ae521dc3ad074c76371fe3d2f2a3b46945f1ad6b63bea
results-80300-11 Expired
7.81 KB
sha256:3b326cd36a5d5bca48c89d1cf1bd3fc98a7bef596ccdbb754fba8612efc7ff7b
results-80300-12 Expired
7.8 KB
sha256:84bb0251c360a2e7c434beeaba1892396be051b036d6f381f2532ab5a98a1c3d
results-80300-13 Expired
16.7 KB
sha256:5980c78c579b665ca6108eeb15a5faceefc5cd9a353ec0d944f66c695ca64cae
results-80300-14 Expired
7.17 KB
sha256:a41e4d86c3ffc8fb6d200cd79045b758bce0ebe6cd12e4f93653da2a744150c8
results-80300-15 Expired
7.42 KB
sha256:9211ed8064ae75e31f8d8d069c3f957be410ed9843c179b63d456e3f5016fb49
results-80300-16 Expired
7.28 KB
sha256:8cff18abdf67fe9232b70d0ca7d4cb1dadccdaba28e36ec124615564cbad0d31
results-80300-17 Expired
8.4 KB
sha256:1b5c2e33ed1c9dd6be4e25e37d5d338813ee89296872f9262232307fc38ffbd4
results-80300-18 Expired
6.98 KB
sha256:f5b7b9c22df32baf939ee2f52072c4d291165d31da7b3db49cd40ca2bef2fc1e
results-80300-2 Expired
7.46 KB
sha256:d9ebf7558419ae8a747b5e4ca4a928bb53d2a4063948e91c3e97b07401ea1d22
results-80300-3 Expired
7.92 KB
sha256:7ff5e4c5835fccf98a207093c05832e6d055918aca34ce8d2ca916e1aa3e2a59
results-80300-4 Expired
6.54 KB
sha256:ca60a1c84371e4181764bc54dc200638f4f53679bee6017ac2efbd75040eacde
results-80300-5 Expired
7.27 KB
sha256:57bbfbe617bc291b6b537d8ee0f857e1d1d3cddb1563dccb29d6e2baf8881104
results-80300-6 Expired
7.55 KB
sha256:4a574712e8f8afbbb3d77d31972348bb0ee1a49c38fa2e59831cf0a4d44c032f
results-80300-7 Expired
7.08 KB
sha256:a9023c05b86119721a1af66fe9d04bcdf3daf358780f39c1c8fe5a52a6d5ced5
results-80300-8 Expired
6.4 KB
sha256:0a9e8cfdeb08ad370fc9e4d5734c7ea9ef3b27ab447ca53d17e285ec10199c7b
results-80300-9 Expired
7.49 KB
sha256:971225132956c0cbded61f3c88caae676f70c0da3960838fdf28202897354fed
results-80400-1 Expired
6.52 KB
sha256:b5b7f260a5396cb3b542cabc7000c4d084d76aad66718789bf9ed6c1864bff17
results-80400-10 Expired
7.4 KB
sha256:29e2d2b51c854da99c92c7ad54f7c1bf5935be665562bdd638d16d127383b1f8
results-80400-11 Expired
7.81 KB
sha256:5432480453ddcc537f7ef4fd96fde1ddaff801180b907a2ceb83c7add492f4ad
results-80400-12 Expired
7.8 KB
sha256:2c360817cea546153e337df8edcd81ffd32aaa84b7691b2503578a817edaa559
results-80400-13 Expired
16.7 KB
sha256:d5ddae610eed7c04838dcb80d68a46158cfba673b0ec581c17672b8f6f5ed911
results-80400-14 Expired
7.12 KB
sha256:1f2ed1e0c2f62ad04ddf28089c4925a3060f5fdaaf2932cdae02c5a1ae1f4af8
results-80400-15 Expired
7.42 KB
sha256:ac91ffa8bad437eef71e60deadb1e5a74de5257c10462654f4379c9802a77e60
results-80400-16 Expired
7.28 KB
sha256:2ab5988ca90dfa703acd8be6ab4919fff2012f02d0224ee93618c23a4c6f0a4a
results-80400-17 Expired
8.36 KB
sha256:afd10edcc53e0ca3305d8b78474d600778ef978c0f0dea79f1d5741f74eca629
results-80400-18 Expired
6.89 KB
sha256:d91d802e0b076ae23ef3f191b6b75791b4f6f774d93c3e1785f384c7026e078e
results-80400-2 Expired
7.45 KB
sha256:e568141f63e92efcfa76f08fde14053245df9a7c4ec441d81c0c25c389ff1d3e
results-80400-3 Expired
7.92 KB
sha256:3af16ac4bdc3a87f4c44f80fe773e8c0bfbf877632c46236d4505c978591d253
results-80400-4 Expired
6.49 KB
sha256:7ae3fd0c66e3ea791e2ccb69854a6a4eacdd8aa3b7f6a82d3247832109d3fc6d
results-80400-5 Expired
7.27 KB
sha256:4307da89462f8f79121b7504372264f6d8aeea5ce0c9d5583310f777f612b1ef
results-80400-6 Expired
7.68 KB
sha256:ea3830b65b05f2e25b1996560706d26e93c351652b1e9e67dc790626fbd30dac
results-80400-7 Expired
7.08 KB
sha256:2e8b2c668c25f053b1588ad92e48416630276bbfeb6806f928f094f3be6dc0a0
results-80400-8 Expired
6.4 KB
sha256:e85ece2c171d2e371b3f0b1245fd973080237d265de3689d49172d8379b0aa56
results-80400-9 Expired
7.49 KB
sha256:1f2794dd9214cc99e16fe8dc6c409368aee581070b1e262cfa9e80770a1c7a6e