Skip to content

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

Respect asserts and throws on pure functions that return void

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

Triggered via pull request December 29, 2024 16:34
Status Success
Total duration 8m 30s
Artifacts 146

issue-bot.yml

on: pull_request
Download data
21s
Download data
Matrix: Analyse
Evaluate results
12s
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:538c27d13f58db98f1853a5154d34f74c9228fc706f29770895e08b5bebd9cb2
playground-cache Expired
478 KB
sha256:5c70e07e9920d1055a4233904792716e915b0352df147ea89aa0255f7a3b2d5a
results-70200-1 Expired
6.81 KB
sha256:cfc4380a4bc78b0035f077057334b76129674a76f28354bb0d04aed5486a843c
results-70200-10 Expired
10.7 KB
sha256:20a23d716cd9d552a482787da5e2d3490df2dfbbab647efc04fd74e7dc483fc0
results-70200-11 Expired
8.6 KB
sha256:030f52e22d4092c44451ac21f31e62426bcbea825ca7a47db4adc65686b7064d
results-70200-12 Expired
7.7 KB
sha256:d47ed120a07f218c0eda38219e7789d23568afeed054427db4f2b70839a1c2e4
results-70200-13 Expired
12.3 KB
sha256:7f83cf30c638f1867b08351d273c1be0fa80be46ff571022dcc89413e7df5f09
results-70200-14 Expired
14.4 KB
sha256:1de345a205bb2255c5c71441fcc322cd88068ced9a595fe8dd2ca417802b8a6a
results-70200-15 Expired
8.63 KB
sha256:7f1025a90c190e0c02528fc7d7f93c59c03edb123012619d22d1eb5925c26dac
results-70200-16 Expired
7.61 KB
sha256:08bad851a8f93dda125aaa6b0ac19fcd26f61d6ce3e35a65b007a033ddd0bc9b
results-70200-17 Expired
8.89 KB
sha256:de954c71467f7fa7adbd246402c07c3a64cd73c949b043cc172fba53cd98c922
results-70200-18 Expired
8.82 KB
sha256:07a5949b51474b425b2229d9f025bdba16de628b1dced107654d976f15e130ef
results-70200-2 Expired
8.19 KB
sha256:24c605f84d9b66d945bd17fd94efa0a8bf4bc864d78ee3aed78f591612c906f4
results-70200-3 Expired
8.46 KB
sha256:e03d2bff329781ba27e4cd55ed6304a521083a2344f104d0b37d1f64a2d52738
results-70200-4 Expired
6.86 KB
sha256:4fa9cb26e591a105794418cd59e769546d00dd786da0199547d2a63e0b676634
results-70200-5 Expired
8 KB
sha256:7c6871c721a655917548c51177046cad629f65c93bd08f9fa85063c34e15b17d
results-70200-6 Expired
9.16 KB
sha256:845decc37e8a13084c56a7cfa212263bb916d40bd632e2a9529659339ac8f542
results-70200-7 Expired
9.1 KB
sha256:076743da4a73c355e8133319ae583065f0aa6863c255ca8a45aad4e24ed10c06
results-70200-8 Expired
7.16 KB
sha256:a5233e60466ab4201a88d76fa127dfc08e7d12436e33734fa5ccf562e54ba920
results-70200-9 Expired
6.97 KB
sha256:7b044f685dca30d62342a92432137b301276fbbcb8b41c0bf00ae4626c49ce27
results-70300-1 Expired
6.81 KB
sha256:bc755b47a3f8d6b0676c80aa06648f41b8fefc7fb6effafcacb0b2c92ebff15a
results-70300-10 Expired
10.7 KB
sha256:388a0fe8be837c500791151c9f5d83df48f55c67fc61d2ff51263c5d695fc59e
results-70300-11 Expired
8.6 KB
sha256:98acb5201c755a569c4bc720f78b0dd395af8883a750e63a032121f3d37f0986
results-70300-12 Expired
7.7 KB
sha256:606a3e1c6879b0bbd22f9c894a086885f61a5908fe19d99a4f2afe4bb06d4f59
results-70300-13 Expired
12.3 KB
sha256:676121e5693da81459bf0e2aa569eee03da01ed675e3e301c5e93c6e5ffcac33
results-70300-14 Expired
14.4 KB
sha256:464cfd6747fd6df52114c81b870f8e2cc7ab5a8ed9f9efe79f2b9a72d054b2bb
results-70300-15 Expired
8.62 KB
sha256:4e8d0783b25673eb94a4a62cd124731cc8d6ed02559d55f344f83bf4f6c12af4
results-70300-16 Expired
7.61 KB
sha256:76ddea89b61ba1396e3ebc0c37203294c66fba15ce35eea45b0d93da3113673d
results-70300-17 Expired
8.86 KB
sha256:e9f04b57446705c0938c6fe1cf36bc8f5eb0de7507670418171fdddc29a34957
results-70300-18 Expired
8.82 KB
sha256:c4080f49be1e7e1a54efbf19d0cfb68e3e4aeb9f858072e83cc8b4cd3efd8092
results-70300-2 Expired
8.19 KB
sha256:d522d54a74ea011d587c899cf2d87b46fced593a951c95adad44f691f56bd977
results-70300-3 Expired
8.42 KB
sha256:6df4edac0dcdcd72c43b6b022e4f11b96bc69d3fdde3cec3e916fd30714ef311
results-70300-4 Expired
6.86 KB
sha256:3652eda90d8a4c62c3857e993c16f655544ba919f21f041a058b30538fe95d36
results-70300-5 Expired
7.94 KB
sha256:320edb1de39ddabcf78d10276724ee18a74b6275972d856eb591342ed7297c5c
results-70300-6 Expired
9.16 KB
sha256:6fc220a92eb7b99d0d83235b8f47bc979fd2572c650c16bfb4cf16af34bc39b9
results-70300-7 Expired
9.1 KB
sha256:2206fa9084cfe0bb8e9497100f1790302709cfcd130e128fa3781478eeea81d5
results-70300-8 Expired
7.16 KB
sha256:11679b207224c649eaf3fc442194758372d0837af50058a34c1829513f9bf504
results-70300-9 Expired
6.97 KB
sha256:e1618fa9a0d2567b4b6df6b2b923da6fb5b528e8293239cf04b9cbbcfabcd73a
results-70400-1 Expired
6.81 KB
sha256:0d40f68e38a0fde0a1fd76eb8bbce47be327254be219411bf57646208f7e9e5b
results-70400-10 Expired
10.6 KB
sha256:3e254447d3e2a25018b9a155af219559de5537cc1cba0ffae75931a6a4fd7e43
results-70400-11 Expired
8.6 KB
sha256:611544e7f8ae0486f40e45cfd75ed6e96d160d7fecd74e29349f5e5e7fc5c48d
results-70400-12 Expired
7.68 KB
sha256:fc2c0ddb87eb3c1438c574603d7468435ad19dea1307f584e81937553c0368f2
results-70400-13 Expired
12.1 KB
sha256:9c6c5232e718f86423280f99f78c8e66b85cc8dc5db2d49c1343b39dd3a8f852
results-70400-14 Expired
14.3 KB
sha256:336b4fb7315ea30f46757be76d8226a6e8136bf1b8118479f50bb3cfef3e53cf
results-70400-15 Expired
8.52 KB
sha256:d14ee9a212f510a184c80df04892cbc1d76b0cec4c5e1e9174305a3294f46634
results-70400-16 Expired
7.43 KB
sha256:7888f4f86cb6c0ebbbfedf2050b944c3c3c6d3874618558f3aa8723b6295cc46
results-70400-17 Expired
8.86 KB
sha256:33e9d0b2a95efed8bc662785cdba6e899212c179e59b24eedb7e7d0e51f0839a
results-70400-18 Expired
8.74 KB
sha256:293618000104ba297c31b9820d5e7d0c87aa0f270705193b065538ff52f7ed41
results-70400-2 Expired
8.19 KB
sha256:9cfa4d7463e798f2d6b9b47b5b00e5c0e4aba49cbf19578ad3423120fdbca82c
results-70400-3 Expired
8.42 KB
sha256:35c7fea95d7eba80b226a721457a4378193b5f30c243e02e6943042a1a46c320
results-70400-4 Expired
6.79 KB
sha256:cddabe2e9f0e87d915703aa2977ee109de5eda33314e66521165c410e664b151
results-70400-5 Expired
7.95 KB
sha256:673c0f1be8a716ccc2f19ece9ca7c58c0f730f438de0a2923d4565554dbb7271
results-70400-6 Expired
9.18 KB
sha256:0a1868442b910acffa4e549e09d63e273da04019b12c5289eda949feb4d0ed8b
results-70400-7 Expired
9.1 KB
sha256:e370861e566d93fc0a689e6d7beb21fc6df555b623e062a3653bb81a6a9b3cba
results-70400-8 Expired
7.16 KB
sha256:fd668361a71158e4aeb0ac7fe69871726e25c4826fde7cb70dd6531128f40a09
results-70400-9 Expired
6.97 KB
sha256:83545df5336de4b7cf262b5eb02a94fdde65395d3031d061d5f89241baed52b6
results-80000-1 Expired
6.16 KB
sha256:b4ba80c6a5dfc6df4765b6271e91b2638ce867aa89a182b94622539a5abefde1
results-80000-10 Expired
7.95 KB
sha256:1f78645f13ad82b7a237a01e3d8e85f1f076d4d62904bb4a8e6bbfadd568a110
results-80000-11 Expired
7.46 KB
sha256:ea6f78460b50a0b55342b67641fecb3f12e09801fb63dd0c9cf59c583c462b90
results-80000-12 Expired
7.31 KB
sha256:cc28549d5501891a311fbb40b26deb28781a2fea58c7e37116d2cb55a4594330
results-80000-13 Expired
11 KB
sha256:fbf248b5821f2685b0c7e3c53044e76125466e9d4dccaa14668caa36384f59e4
results-80000-14 Expired
13.4 KB
sha256:682e7a99355e4c389b17ac820b7445500104ee4c6dff2003afc8d57d3fe5cbf5
results-80000-15 Expired
7.83 KB
sha256:7a0eb5874fe78953d76297ce52ef7be3fd480bb94a2fe69e4eba806049daed3c
results-80000-16 Expired
6.65 KB
sha256:8353e866399d22f8e295ca9beef58fac395f3f339dff9793b2123db7b9e74322
results-80000-17 Expired
7.38 KB
sha256:23572834c5b34ecfbb8a538ff060b2c2b775c7b74e8c5a5a1d1a1441f3c744ef
results-80000-18 Expired
7.7 KB
sha256:e70f3d5096596d0268a2ea487afef884debc3b73532ebf86dfd64476ea889442
results-80000-2 Expired
7.32 KB
sha256:73f72c60348c47d66cb2fc7e5e890f074d0d38f811ad5842ee9504d2f69fcc2c
results-80000-3 Expired
7.87 KB
sha256:9222045db444e61b455e900b3e22f3a0f445009411f2a5f25be1fa5f59951e45
results-80000-4 Expired
6.51 KB
sha256:e563d56fb129b443cc02616062ae00d7e23590c43ef6e46012c4a8567611958d
results-80000-5 Expired
6.76 KB
sha256:bcedf33d5c285886f8e832479b24c73df3f5fada537c9dd7388465a77eb6bcd8
results-80000-6 Expired
6.87 KB
sha256:57441eeca331b79e5e9860ee7bd0269c7ba0dc6f9af7ee900a802c969658a9fd
results-80000-7 Expired
8 KB
sha256:073e15500ce68e446b3ed867147c0f981d30cb2bcc918dfe2cd8ae577e814aef
results-80000-8 Expired
6.53 KB
sha256:1b369a152ac101e3135c3b3f6dcbe3835748116c285b2a48dc4a5a0061bb205e
results-80000-9 Expired
6.41 KB
sha256:d868fdf273642121af7513059c855ee42dfd5232b8e5b7aa633bcf947bca98d0
results-80100-1 Expired
6.25 KB
sha256:6390de1fa2c61f1aec829e634e253db2a3047743feac01c5cfbeaf138cab0462
results-80100-10 Expired
7.79 KB
sha256:9d6a6b34d4d95a3a5532435980d7e7b77ee447f45b650413ba40b2d3fbc47024
results-80100-11 Expired
7.64 KB
sha256:183ba46757e1e985408a30b840a2962174e3858cbee82e47c5b17ddf751e3990
results-80100-12 Expired
7.59 KB
sha256:f84b62aa795358e7800648134573473a158c921ab16c48a36f4a5aebd78c4258
results-80100-13 Expired
11.1 KB
sha256:118ed5ce55a263935bbb7b52122c591a4e232c3db68dcb2b364643fb7c2e7629
results-80100-14 Expired
13.6 KB
sha256:74e11bdca7c073377db777f2ccbbd7d80d0cce8033e2cd22a903e9c5c5048450
results-80100-15 Expired
7.86 KB
sha256:8720ae8cfdd0ef43f0065d874e909cf59b7f9c3377d92a328e1e82d2ed472ab0
results-80100-16 Expired
6.82 KB
sha256:a99818d6071c92eb17adee9618608dccd8e2a465440344ce970804d11f7c2ff4
results-80100-17 Expired
7.49 KB
sha256:cfbfb1224abea4c6fd9ae345c2cd483219255d58756d03df5bfd2a089bada919
results-80100-18 Expired
7.95 KB
sha256:6cb846a6c6f1295a58f7f146446016ae6a16d67c5091c5a07836c608c5225c0d
results-80100-2 Expired
7.36 KB
sha256:e2c492e21ddd79a04e61c09d521d16e8c46850f3c18b1627fc1e300644277463
results-80100-3 Expired
7.8 KB
sha256:37dfdad933f564dc985761e439be4c4b29c99a19c0cbedcb8ff94b41937ba559
results-80100-4 Expired
6.41 KB
sha256:e316e6d55926f45158befb9be3f63e2d5d3aecfe8af4c740f7387a9631ffea76
results-80100-5 Expired
6.77 KB
sha256:4191dbfb87194e9380e251b92c699549b1e69471d315b86a40846b851015844b
results-80100-6 Expired
6.78 KB
sha256:e8e0db92d3054990837e52fedb41afc085b423b8fa66061350b1ed413c26a838
results-80100-7 Expired
7.92 KB
sha256:fa926777b54102de3d9a2fbd7381393e18f592643f64580a1263cd184b53d1ee
results-80100-8 Expired
6.53 KB
sha256:9ff3bfcf82650a82bce1479f11bcbf92394fab2465f928064054a5f2eb18b4df
results-80100-9 Expired
6.48 KB
sha256:5001e8d39a1dafa8fe71039cc85ef17550ffc6114b40ce7ebe07bf8c5c1727e9
results-80200-1 Expired
6.29 KB
sha256:12e4168565573f3c13e4b4d699d068f1b10909c8c8484956e430f0a9ad10889e
results-80200-10 Expired
7.85 KB
sha256:c63e35e4f2dc476e4eecca85897c23491c97c25d1a81e93fd9afb02ea5052e2a
results-80200-11 Expired
7.64 KB
sha256:7600a4785fd4d4d35eab66b9c83b72168bcaa9f88286b25d1e27d5978cb5eee6
results-80200-12 Expired
7.5 KB
sha256:dbd2e6bfa702f9d54e9f1770de8010ab4f35b56ee29932b5d2de166fcaddc258
results-80200-13 Expired
11 KB
sha256:9e551c5593b3b0a34789a03df004c8344d3e1323efc483ad256e46681777360a
results-80200-14 Expired
13.5 KB
sha256:98e65c3708c92b2259c65d94da5dcceeee5ba6b085f3887d215b3f5ba49346b8
results-80200-15 Expired
7.77 KB
sha256:176267c782e7092d0bf81dd89fba3b88474cc86c4396636f55c159dd76061c45
results-80200-16 Expired
6.72 KB
sha256:86628c5e5b67b633e05b9fcfa15de021dd8d90d0308241515fcdc73ebce3f94b
results-80200-17 Expired
7.27 KB
sha256:00e73850ff299cb4e2010a9e09a6aa8dd112bc59c2313f73e8d05fa8578d7501
results-80200-18 Expired
7.81 KB
sha256:a1e2edb04198b307b485871e382b074bebfc7679f1d88e099e6a5acc477a8301
results-80200-2 Expired
7.39 KB
sha256:65d6b107a577436277b6136b1d3b200fe2357929c3907f00feaed033d3e6c9d1
results-80200-3 Expired
7.84 KB
sha256:e801e8388ef620d64ef21c03125120f1c607e2a7d04d60d2fa44cea944345d2a
results-80200-4 Expired
6.41 KB
sha256:be7711bc1cfeb381dc6a59b1bf1773a73c8fa4e80ce4f71fde007911afcffa1c
results-80200-5 Expired
6.75 KB
sha256:4f07de2e20fcd8fedc84a3eadb61d4939517ef5d7a7940420700267f8f7c3223
results-80200-6 Expired
6.78 KB
sha256:6d1af71eac63288b97667f37783287a717e61af9a6248f96e3d32a729f854916
results-80200-7 Expired
7.93 KB
sha256:f1c6a2ad902aa8444c7ee8468160cc50e50d2dc6fd2233c69d489d4a28f57da3
results-80200-8 Expired
6.53 KB
sha256:9962110380a1cb96a6921096c964991e33d9eaf2bd50382daadbc62c1ff4c5ff
results-80200-9 Expired
6.48 KB
sha256:e9830d535a639301baae5e103616b430fe94e5126c80dc263d47f589e39ed6f5
results-80300-1 Expired
6.29 KB
sha256:f6854869dcf9c80d8ca83e24cfbc61f27ee33ac81928df5145276ed2b3bc8d1d
results-80300-10 Expired
7.85 KB
sha256:4189f6d8db419c1321755d5076b66eba7c11dd13f27a47cada19da9a2ebcbae9
results-80300-11 Expired
7.64 KB
sha256:caeb3c7ad4436de7221cfe1449a3a8167a2576ad92dbf406918cc5c47f852f60
results-80300-12 Expired
7.5 KB
sha256:e9aef8142797a4502ad829a502c3abcf1bb869781ea02dc4f667ba4d4796d5dd
results-80300-13 Expired
11 KB
sha256:389f5ada4a38368e9ed1607352c765f1b61578399e5106ba85039ae52673476a
results-80300-14 Expired
13.4 KB
sha256:2c7f05e1b7d3d265d1b77fe98058d7be2cb82eef931e80b7a47ec6b66324e3b1
results-80300-15 Expired
7.69 KB
sha256:cf8cca622e354d561e0b855edaeccc031ece911a902605f62cb6cce4c3cd7683
results-80300-16 Expired
6.72 KB
sha256:9bd2ef7279615f8c6172ac7ad000f62f001b29100cb3e101e90e2dad7e9ca40b
results-80300-17 Expired
7.21 KB
sha256:de68b5fdf77dc4ed5478504c09c21d2713f7ec931256af93002e04bd56fb5527
results-80300-18 Expired
7.81 KB
sha256:0dfc1e047385d0b4465429a2a83b576f1b72cdd71332275a5a8fe79a94da2d2a
results-80300-2 Expired
7.39 KB
sha256:2318862face7348f5c643774a2530cccd0d43515a444ec3e9702dfd0099a925a
results-80300-3 Expired
7.84 KB
sha256:cd6806edac54658e788487225f84c5e03defc1f85413c1903b43c24c5932ae69
results-80300-4 Expired
6.41 KB
sha256:37dc5ba336a7f0fdc815d92360ce360a1ef0c1886b4abcd3e19a1c24d6e18652
results-80300-5 Expired
6.76 KB
sha256:c43d1829408ebaad15b87e69013216ed8ca589fc3bd42c37732dc292c3c70d00
results-80300-6 Expired
6.78 KB
sha256:c7d5d377b75c989131ec5d0396aa9ccb45047bd57bf623650e705a1b381f897e
results-80300-7 Expired
7.93 KB
sha256:8655629087076f6ec58671f5e6b06a2f0583157e41ff2ca3de32e8b9eadc8217
results-80300-8 Expired
6.53 KB
sha256:6e00797578598420ee21253c75c4b524b6692e6743d7ea1ba32b704fe2edc27a
results-80300-9 Expired
6.48 KB
sha256:a145cafe650b431b71033323df7bfe1cfd6e2523b9d87f5e3aa58fa38c3c397a
results-80400-1 Expired
6.29 KB
sha256:68aa1135a8ac7f492a4b5cc8d5262e54cf49a18660296c399aa5d2947dd67720
results-80400-10 Expired
7.85 KB
sha256:e170a2326bca80543291699b0b45bd7c57a7d752c66df4984b00ced225412b7a
results-80400-11 Expired
7.67 KB
sha256:107b0433ac5b4a21128eeb255040096f05f6a67ce3223a75f5fd7d541366872a
results-80400-12 Expired
7.5 KB
sha256:28b5f535993ffbb58fb4f3cae179a383415a9cbbfd01e8fd056ca3171f0b9520
results-80400-13 Expired
11 KB
sha256:2edb95e98b460460ae474163ec23787888518339e218884964732ee958d1f762
results-80400-14 Expired
13.4 KB
sha256:550c1a5aa70cf9c65b34baec42a5cb7d8b30c5d9ee4653b13e6bf52760a59cca
results-80400-15 Expired
7.69 KB
sha256:0d6d5c42ca6e8da3f9b1a451beb49b9f47a1390fcaf2912363b20a8a02231030
results-80400-16 Expired
6.72 KB
sha256:c3c0769fc9df2096d78fa71e93b3b3b2d1b0a6e61fb64b01e48241756f6d9aaf
results-80400-17 Expired
7.21 KB
sha256:3aac427ed9c53c8451cbbad94e821505c89a1cca7da9c6fabcd9e82f31c32f90
results-80400-18 Expired
7.74 KB
sha256:fe5d7cc0ece2e0ccb82c84fb74998532f7344ba9b2fc2d67f166dcaed5b40837
results-80400-2 Expired
7.38 KB
sha256:7fdd5f3a246d5a864f5c935db5cc92ed7cd7c8237d5277d25a4be8b1df6c7cfb
results-80400-3 Expired
7.84 KB
sha256:2c25f37ba96624a596dc6fd4018a61d68b67b5efe056c5629a0175dde7feb253
results-80400-4 Expired
6.41 KB
sha256:59cb8652cd191d68f068470a8dc87ba7a3dabf781bb1b2afbdb6fb2040e169e0
results-80400-5 Expired
6.71 KB
sha256:472f6e0e7d4b54f56e192698a481c7ee3299acafa8e7019648ff64d5216ae5b7
results-80400-6 Expired
6.87 KB
sha256:1bd877e66c0a4033848ac8424bc6bb09ff6794cfb1451e081ad9362b00d19101
results-80400-7 Expired
8.01 KB
sha256:dcbe1e54e0a87c24907ff4dbcbbb5279fa5082766c413e369f0d9305cb31fb59
results-80400-8 Expired
6.53 KB
sha256:3178b0eeaf0c5a025f7e50139f757d941eaea4740dd83cb466ae3e0e29cea632
results-80400-9 Expired
6.48 KB
sha256:31f70e3b88cf0364823c58de7851936ba855a993a82921e2a5de73f813e97f22