Skip to content

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

Respect asserts and throws on pure functions that return void

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

Triggered via pull request December 29, 2024 16:30
Status Cancelled
Total duration 11m 20s
Artifacts 146

issue-bot.yml

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

Annotations

145 warnings
Download data
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:938e1511e5e679cc86167e0828d7bec60b801843c3eb3c9a88ec0216991150b9
playground-cache Expired
478 KB
sha256:47c6b503b89e0ab35a79ad15ed86242d9e89feb069df944b462dbb304f64fb10
results-70200-1 Expired
6.81 KB
sha256:3a999e1bd903dcc2e8c67c06911535f473c764903e65e9e908ce77d08a99029c
results-70200-10 Expired
10.7 KB
sha256:2d992bdb72bf6d2492779c0bb0bec615cbd34ad649e05a072ae44b70aafa701e
results-70200-11 Expired
8.6 KB
sha256:e43f4a34a370e11505d4933da37d4c443a1a66d13047481590a6f709a69c7016
results-70200-12 Expired
7.7 KB
sha256:7ab369731357eb3ac7314da16d92bfbd008253c713d9d66204f930abe4084c64
results-70200-13 Expired
12.3 KB
sha256:716583bd41733f7d6d5aad958f031f1a9c02785c442144c4a3783087da17f4fd
results-70200-14 Expired
14.4 KB
sha256:800abe5cdc2d93be1a4d0aa5bc6df9d72f6b40237755baf0c0ce9dd265057b87
results-70200-15 Expired
8.63 KB
sha256:144c98abb1ed122413a9d403d21a65de1f64d2c4caae4b52d8ccf8c8e6e00660
results-70200-16 Expired
7.61 KB
sha256:2879f2698cddbfb70cf001eb113fd1567472256b104ba72edcbecb20b88c4ef8
results-70200-17 Expired
8.89 KB
sha256:7e6006202e51a488de4f5596bee8357a78073765c71f59ad42b79d1db4025ccc
results-70200-18 Expired
8.82 KB
sha256:49870385dd0265d186f5d8a7c55d17634001a3214bbe38a4a660fb93c444d8ba
results-70200-2 Expired
8.19 KB
sha256:b78095043dfa25062815c1369b1cfa6d1c561f02c0b3d179076ba6c05a9ce2ca
results-70200-3 Expired
8.46 KB
sha256:d4576fb2efccdc723b83427714d82a58c19b48fa36c059ccb4f16ecb33b2a292
results-70200-4 Expired
6.86 KB
sha256:df7c51ece6947a774d8d4037c9059cd7c0fec28feadfa8674c880d8591bb93f7
results-70200-5 Expired
8 KB
sha256:60cfeaa98de939a13f1c41358dde45c8baa9a261fa6262a1aada0d2774cefa97
results-70200-6 Expired
9.16 KB
sha256:ef6ae8d40cb86ad31c6324c2a16828303c8f9d81c2f5d05527e4d59270975bf7
results-70200-7 Expired
9.1 KB
sha256:0339884ed45595e78fc1498378bf0aa7eea8f7918534bb45b687e0a9e78bd8b8
results-70200-8 Expired
7.16 KB
sha256:ffc4b3b342fef20654ef3a4f453749421fe22614d5ab140f028f13b75c832499
results-70200-9 Expired
6.97 KB
sha256:e3e506f97509dbe7f0c03f0e9e9747601088c1b64742ca73447e00e8e3565cb1
results-70300-1 Expired
6.81 KB
sha256:da51c0575ed01f174c6a57329124a5c8156bd1ce9065a1e3add640759a0df8b6
results-70300-10 Expired
10.7 KB
sha256:06e860d32459589b5cea081c0be7a0d293c602d347b6e4f22611260cebf97906
results-70300-11 Expired
8.6 KB
sha256:f398011a6558ac96b43d976ee1c28bfacfda5336d3c2172c00bbfcbd46e4e148
results-70300-12 Expired
7.7 KB
sha256:d4c390320911da8af527d281e69fc710edf3e2f7d0797860947f6552e5d017b1
results-70300-13 Expired
12.3 KB
sha256:f4bf7f3bc2039f15d31d2feb142aac8b398a3cec81ddb3ed8a3e8d4cd0a351aa
results-70300-14 Expired
14.4 KB
sha256:624aa879edcd28acdb9e1e6f8403c7219e6fe23044788f3306b298fd2fc0ef58
results-70300-15 Expired
8.62 KB
sha256:8e234662abf07e0f434b4bc4e09002239849f9abf45ac09a47637d2c382da01d
results-70300-16 Expired
7.61 KB
sha256:ec7c6da5751f26cee7011061e10aa616c86b7618db58f57e2388971bb3f8b016
results-70300-17 Expired
8.86 KB
sha256:dc1a1f2f0d0eeeb65ef550ed44728b4fcefaaced7e55e6d8f0cc97461302b211
results-70300-18 Expired
8.82 KB
sha256:6f3aa74c655d3061444855de7df1f04d44866f4101756b2a254cd135675f04dc
results-70300-2 Expired
8.19 KB
sha256:d38c607e22e99c73f319341852d7952cc145969c9f40f2f9e30cf0fb03d42471
results-70300-3 Expired
8.42 KB
sha256:f711ef6a189686a624eadac18696eb7a8003f8a84d0fb4d0e3130612a253dca6
results-70300-4 Expired
6.86 KB
sha256:2466633c49df2d066e813cc065dc547de6d9942d95a1939f83dc0b7a0ff5ba12
results-70300-5 Expired
7.94 KB
sha256:a7b6513c9bdd87ecb9b8b7fbe67e14acdabd84a2c6da46ce16644805b1081bcc
results-70300-6 Expired
9.16 KB
sha256:4a266f5b7cab6636a2b7dd56b6ed58bd8f459571f657ad4fcfe1e88efb2e20d0
results-70300-7 Expired
9.1 KB
sha256:71eb10fda1a34e07f34d3c2b960501e047a825b6a5c7c47ae91c71f72cd6b4a4
results-70300-8 Expired
7.16 KB
sha256:a1353a54feebd3ca8207955306c5281862b99c9faea8ca5d8c635493598d0ab4
results-70300-9 Expired
6.97 KB
sha256:1e0f9c850d55ea3dc56d19030580dac0bf36e49a6f6f1eb324770008b5e5db53
results-70400-1 Expired
6.81 KB
sha256:7e01c776c4e9b35b6691a0bb11e001f2e6bfbe3bb76824b751ec30eb96005057
results-70400-10 Expired
10.6 KB
sha256:2dfd99990a59df178a4a8dcd4c3bb18e200626a970f9798ab4f516dae570665d
results-70400-11 Expired
8.6 KB
sha256:79e5371583f8a33081392c21cccda2f34fc15bf0f038e997ee05951d49da7fec
results-70400-12 Expired
7.68 KB
sha256:07fdf4b4bfa1522bbfb8f5319a5c68b48dc3fec5af9cf77efea66fc7e87a8497
results-70400-13 Expired
12.1 KB
sha256:020768fdb85eb258af352ad2650031fee9d64ec84e0cc2d8649b3fb268e386c0
results-70400-14 Expired
14.3 KB
sha256:10618378ae7ff1bef22d3bd236010beaf278c1c81b48a9b2d99fbadde27bb4fe
results-70400-15 Expired
8.52 KB
sha256:3b2efc97de804dddac6f11ac509c4f102061ba4698965a9648928e99a4619803
results-70400-16 Expired
7.43 KB
sha256:e9d1cc8fcf16ab16bb1c479babd3c0eb73d0e683b81d8d5996ad9197e0d647ad
results-70400-17 Expired
8.86 KB
sha256:8318cbedf9022ecf18f250b00e092846a2169b617faad49af3c785d6f7372aaa
results-70400-18 Expired
8.74 KB
sha256:f246d4d3b9046560da67c9a3bfd00fe312732f5a7f273bdff4a6082a1e2effb8
results-70400-2 Expired
8.19 KB
sha256:f47e58773b6d61ccb51792775b09e0aa4e71aa95c221eb4b6a305afdc9379f52
results-70400-3 Expired
8.42 KB
sha256:19cccd59d650fe94b597dcadeed7bc3ac9de92c16bd9fbfad3d193c7a84ed662
results-70400-4 Expired
6.79 KB
sha256:91b38091669be81b496c1ddccdf45d883815075262c4b0f778b3b078fd55d94d
results-70400-5 Expired
7.95 KB
sha256:d5c5404462b2d107946258a38246052c3af7333d70dbd4c32d7e13c4d93930fb
results-70400-6 Expired
9.18 KB
sha256:e1115e88384e07c580e681dc9fd46f43937663eabb8605e221e999799c0e324f
results-70400-7 Expired
9.1 KB
sha256:cfa34b3075464ddef0d86d456eaf5b29cc7c8e8d3c93c705441a0de6c605b0a5
results-70400-8 Expired
7.16 KB
sha256:910f93dc770c95ce796f14cc37436e4ff2b664acd3ffd6ad8e45851c73264bb2
results-70400-9 Expired
6.97 KB
sha256:7a88779471e0cea38769c71939d216233318ae3a6317c6717eaa3393cdbebb8e
results-80000-1 Expired
6.16 KB
sha256:b2c44aad2af0dd0af6e203407d72db1ca260939ece5016d0412b9b5693a11980
results-80000-10 Expired
7.95 KB
sha256:cdcd95ea62623b0466a2b94b702c8e4e0abd914c05ca40283de738e0bf6b94fe
results-80000-11 Expired
7.46 KB
sha256:7b3916cd1f9812439e31d81c1557f27a6da40eff82b489eedf3cdc5c5fcf7a48
results-80000-12 Expired
7.31 KB
sha256:f9698b45d0d5a7511bf4831c3a5f1a0aba560e8c9d9ea29ede58f738b7023c8e
results-80000-13 Expired
11 KB
sha256:c52be06bd6bbf92a8e96455e1c33f738e1df69a4f64f45688877ffdb846e9982
results-80000-14 Expired
13.4 KB
sha256:49597151075bf669c57403da6c71e3fd70a96bda36b447cfed71049ab3993ef1
results-80000-15 Expired
7.83 KB
sha256:84b9c81c5ddab12d8a160f8086b0a64777658e66a87806cb51177d1ec3c8f625
results-80000-16 Expired
6.65 KB
sha256:36f06172c474a583248813f8f3710cd5575d40bafaeb73e82bff5fa5c4bb09df
results-80000-17 Expired
7.38 KB
sha256:78cb9204695d168ca3bbcfbf5dbc40d950b655cc700f094271a2e0fe0563a48c
results-80000-18 Expired
7.7 KB
sha256:2670af40c779e47d2f475b32a09142e4de1d4d95af64166c3a7b1fae9db59d38
results-80000-2 Expired
7.32 KB
sha256:21330074ea04a3e3a19fd43bf545547e6265fa8939b3c26e7b7ffe70dfea6f25
results-80000-3 Expired
7.87 KB
sha256:f234f4aa35fd6bdbf18d57da0bac560315f6a0744dc35482eaec575e234fab8f
results-80000-4 Expired
6.51 KB
sha256:e2416ad6a8bd9d56f3150b144e15447d2bd68a133590af083da7a7c97359c097
results-80000-5 Expired
6.76 KB
sha256:9ea24ac0fceb151a0dc85eab5bf628acc29867b142eabd61bbb7772fb28aa52a
results-80000-6 Expired
6.87 KB
sha256:542863356387d72b3d2a1296c997011711bb0fd2a70d5cc4c8d390a7e85ed94a
results-80000-7 Expired
8 KB
sha256:fe158960f9337f05d490ea966e05c5c6b9f1410c5d356885a3d7c32e35e01222
results-80000-8 Expired
6.53 KB
sha256:2d5eedbc9acb7c4953b3ce062134cbbe5e52111dd7acaa4c3c68cd05b049328b
results-80000-9 Expired
6.41 KB
sha256:79fa017e36a49a39b8e3f76edb558ab1b737872a5e88610677a9954134e6b61f
results-80100-1 Expired
6.25 KB
sha256:916fd20edfa1597d64744911df1382bbe7e9868a3cbd8cf2d25289a92bac0e7a
results-80100-10 Expired
7.79 KB
sha256:fc04d520636ef815b9ad361e001e695fb43b59ff3e3bf29318a2a492585a4936
results-80100-11 Expired
7.64 KB
sha256:c1ec4afc8d44ecc54d59db2ee9c002829a9e0114580655a6c16caf1829faab48
results-80100-12 Expired
7.59 KB
sha256:38ee78cbf6cd28e32c1dd6034c635eec6be27a7723e4a416326ceb548e43469b
results-80100-13 Expired
11.1 KB
sha256:800e8098302cd588788a7356469d565df60744edd3e106b42b9ebb6671d3dd84
results-80100-14 Expired
13.6 KB
sha256:222d052e0060c5209c75c379bd27114218cadf5fd13880aaa83c70a4663a1235
results-80100-15 Expired
7.86 KB
sha256:cdd6dc44b63725380b690b9f9ebe40a2e8ade3a2e6debf4a1825eb39404e8106
results-80100-16 Expired
6.82 KB
sha256:69f3ef6393e5fee0f4e0b79af35015d2d2e9c2b67c80fba7ccfa151606bbc4f0
results-80100-17 Expired
7.49 KB
sha256:abb773cb9c378c1bc500c5c6fbe24cba813e6152148088dde387ec6e9138595e
results-80100-18 Expired
7.95 KB
sha256:33d98e092a5ef4ea989cebb68dc130ed4a4b11c38c0e8272418e76108cea1468
results-80100-2 Expired
7.36 KB
sha256:818b8bb032d770b5039770f99c619eeb6dd7b540bf4a5174a917b288a2f7aec1
results-80100-3 Expired
7.8 KB
sha256:3235a6f6c29a4aac9cbdf387ff9dfa4caf730497fcd61f27373e9dd7b52e97d5
results-80100-4 Expired
6.41 KB
sha256:5a2c2b9938f8a044853b33314816969866b01d56f5811a45f42dbbe626c07037
results-80100-5 Expired
6.77 KB
sha256:469b9010bd0466718b232af01e4adb5322fd9cc6b2a74e8f7323a04d9fe24ca6
results-80100-6 Expired
6.78 KB
sha256:edd8808b77a4026cf8a402d2491c32e520a8921c47d88bd7600347b6cf94126b
results-80100-7 Expired
7.92 KB
sha256:166789dc8e3d52644bc6d117c5958486f7c1e7ed8485ae4cd63921eb5af9174d
results-80100-8 Expired
6.53 KB
sha256:87f560f23afa8670cfd640420381d531d42b5c77d212a0f7acff71dfd6a4a242
results-80100-9 Expired
6.48 KB
sha256:831ccdc45c2f447aed0610497cc4e206dfa43fb1a69653853d1f6c02b607b842
results-80200-1 Expired
6.29 KB
sha256:62c8ddcc5a9ec2c4f503260e5d3347aff7931a056c472a0c2e88c0a6fb5240c4
results-80200-10 Expired
7.85 KB
sha256:7622f5c5e61033ebee5e800a844a362b741d9ed4942b1fb5baec8d3f608e4a48
results-80200-11 Expired
7.64 KB
sha256:40ac386e1b811ad586aacbe5a2d1a2bb41dd1283dff64587c576e52d4c97398e
results-80200-12 Expired
7.5 KB
sha256:6a4380671089669af1911f599549d74c2a8d4642664844f6a92b9758d3a223ec
results-80200-13 Expired
11 KB
sha256:4fa436148bf66d66a971117a2a473c95595faeac47b237d3e371a73fd0dd99b5
results-80200-14 Expired
13.5 KB
sha256:82c61746c03e4ddf52ef79f8804eef2edbe7df9bee21f84a653b725cef34919d
results-80200-15 Expired
7.77 KB
sha256:795a9ec044a889f624d9e14434c82c1ab196d719a8a497b17d44e2e40cd888fe
results-80200-16 Expired
6.72 KB
sha256:8aea954c81e69cebd10f810220623fcf1aa92b5f4ccb9f14ae6a8de2e4094e4b
results-80200-17 Expired
7.27 KB
sha256:1e84242499fa7d05682ef86911f93b55c82c507762fc36c93a5e72056b28fc04
results-80200-18 Expired
7.81 KB
sha256:4407a132ea1547c24a9507667f6b0f783c1033ccc5b39eff9eb8df9426876c9b
results-80200-2 Expired
7.39 KB
sha256:0c6aa676fd91ac3bad9637bbb24ee6efae0f7d1df404bc34aad0f48e0630ecbb
results-80200-3 Expired
7.84 KB
sha256:503fbf6f4871ce460c8a0e812e0a5b1da22beddcbb13f71316d8d6b0882def0f
results-80200-4 Expired
6.41 KB
sha256:f42c0737ecbf5b226a8d9680d97547a0fe509b0c0d0652398f62766cfaa8dfe8
results-80200-5 Expired
6.75 KB
sha256:f9449770ff24d41be50d4481a0a2f5edd9247d80bcf91e4ac2dd43dd069418f1
results-80200-6 Expired
6.78 KB
sha256:4908672e931e8db8a4269f8807cb3858c51b10a82f23dd4e7b8690ccfc2a30bc
results-80200-7 Expired
7.93 KB
sha256:9559a890bf6269d8736e4efaa63803287172fbe273b98b994e596f6d1e21d111
results-80200-8 Expired
6.53 KB
sha256:3f4a50c3d4899906f69b50d92f31fdd6380d29c43a5b899ca3d1be10360461b3
results-80200-9 Expired
6.48 KB
sha256:3363b94b44aaa998d774885fc81deee4e824c463551cc714ec47b2044e8398d8
results-80300-1 Expired
6.29 KB
sha256:1bbe84d6898cfa69f746da71641e7fdfabac74fede9bf1fd5206d568b13c5681
results-80300-10 Expired
7.85 KB
sha256:9b6b34ebac7f17c20cafd63079dc958b9b07968801692491c8d7c91273d5094b
results-80300-11 Expired
7.64 KB
sha256:34832d6eeb170a7afa5802a543dd50987d5d5c8998bc4ce9d61a7ff15f580b92
results-80300-12 Expired
7.5 KB
sha256:710264568e284810c160c0df3c7966f5bc23a194c075802703e5350de5907f2c
results-80300-13 Expired
11 KB
sha256:b45cb27044660b380db2aed2b8fd49df66b3e3345ad4721cd80d3fff71c80cfb
results-80300-14 Expired
13.4 KB
sha256:62264a537b3d3a7f07e5f838e64e64c3e4a9341777b2ee79498bbbe53bb338d5
results-80300-15 Expired
7.69 KB
sha256:ef7431a05b16d1512c9eb615253a12154b7a49ffb3308fe1f1cefbb834713054
results-80300-16 Expired
6.72 KB
sha256:fd8c02b6014b3a785d9a011964e2f9c0c1efa0de73247532ca6612068c0a87ad
results-80300-17 Expired
7.21 KB
sha256:794859427fc0536dbabf698db599f3b42a43d5c64fd6999b644314dd5f1f59f9
results-80300-18 Expired
7.81 KB
sha256:8fd7105db784ce3646ef5c83898671b18843cd589a95ae4f92fe038a7a1390a1
results-80300-2 Expired
7.39 KB
sha256:3ceded715e22fa45f0ca0cba8084080a2f2f958f8eefd034733c99dde63065c1
results-80300-3 Expired
7.84 KB
sha256:4b40af3eee268eae331524e1a87be96d099d067aeabeec66bb6cf53c45067df2
results-80300-4 Expired
6.41 KB
sha256:3fff383be13261d13e3184496c31521736e148b5bb366771b582e16b31508d91
results-80300-5 Expired
6.76 KB
sha256:a4bd548517593971b175d3c8a15273e0b39f1b0de5c31b06f77883edf4d6639a
results-80300-6 Expired
6.78 KB
sha256:780f0d7da0b6bbe7e3c6e219f794f33fa5c5a4c4ac616ec9e62af9ff6d63101f
results-80300-7 Expired
7.93 KB
sha256:f5d8c0352deabfd6f2f3ef5a5ea6bde97e866a3832c44bcecd07d4992ad40dbd
results-80300-8 Expired
6.53 KB
sha256:daba1bc97fed5ea622289f094b23ca18c519fb626e2c61db6544cad51a8a0822
results-80300-9 Expired
6.48 KB
sha256:49df5e3d9dc6e01ec86efc2c77fed9447747cfcee72fb280a53cb6f816a3716d
results-80400-1 Expired
6.29 KB
sha256:d11b835e3376cbf61b8368e7e73f9baefcb2119772522f236815e6bc8acd3940
results-80400-10 Expired
7.85 KB
sha256:be44ae95e1387cb7efec1ffc90a1f9a213d267039c2dd5258bb5dd7a16d71ee9
results-80400-11 Expired
7.67 KB
sha256:fd6a268723b8388161d5b5681a786d060364c0d1dfabf2f7b28ca747b1e0b0fd
results-80400-12 Expired
7.5 KB
sha256:8ec830bb81c1ea71272438f41075afd0af7c492cdaac5876beecdc269a23bb39
results-80400-13 Expired
11 KB
sha256:1044a7591d89f4d493d7913fa8d431614a58f0933035cf60110e9f2df9c4eb7e
results-80400-14 Expired
13.4 KB
sha256:39e6dff132d881ceb705aa2aebf29b8fdf533d6e5c1012d564cf2b9e92d41c5a
results-80400-15 Expired
7.69 KB
sha256:1a7195dbb7b96bd87adacdc05473adbc0c3965cecf6f36dc22c69ae414963be0
results-80400-16 Expired
6.72 KB
sha256:543f11a86015527d64b1e4b7a403a7cd8d8ebe54f1deda6cad1b7e6f7e798cc4
results-80400-17 Expired
7.21 KB
sha256:4abd754fb21c67a0f5a8a4a25984462492ace0e33e61fe3e126dc9b3a77f0957
results-80400-18 Expired
7.74 KB
sha256:a011142dd77e7a9cce709bbe02f2d3beee43ac081c652ef4735c6cfe5a977dc4
results-80400-2 Expired
7.38 KB
sha256:219cfa99bc80fa66e57edb45ba5082337d756546ed22dfd277d3341d155caee9
results-80400-3 Expired
7.84 KB
sha256:5f9a1f7100cefb037df2e7c1cea516cce9cfea48605b0fb5f0b614ce74f1e20e
results-80400-4 Expired
6.41 KB
sha256:695ecb907d26866b55785b41fbd6bb07fb53f0c09593b71fd06af0f2369c2d91
results-80400-5 Expired
6.71 KB
sha256:fac668be91f873a7bc09798fd6039067a88b185ea21a83d886a3a5475ed7ca5c
results-80400-6 Expired
6.87 KB
sha256:4a998bcca84bb51a7aabbfad8125e1b2e5b382b94f8e23d51b843a1ec60936e3
results-80400-7 Expired
8.01 KB
sha256:afee1ca0c7b800eba32795ddaddb35b71025e346d4a1933fff81d6a9e4a1504b
results-80400-8 Expired
6.53 KB
sha256:bbf5a78b3acadd65401904139268fdd45e34ea292c996a90aa1145a224c4a097
results-80400-9 Expired
6.48 KB
sha256:49c23ba90cbe9ea481cf54cadef32db0c386e635e7f53db7c0a6137f8cedf063