Skip to content

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

Respect asserts and throws on pure functions that return void

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

Triggered via push May 5, 2025 16:09
Status Success
Total duration 5m 6s
Artifacts 128

issue-bot.yml

on: push
Download data
17s
Download data
Matrix: Analyse
Evaluate results
24s
Evaluate results
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
573 KB
sha256:4d7ac1b436c61d8886f5d532db1881259c5dc71577bcb671aa533910f82d37a6
playground-cache Expired
507 KB
sha256:ad6b8cb7a9f649ec54a4448fcdece9b369b74f5c9d9badb6c9f7cc0e867f1262
results-70300-1 Expired
9.22 KB
sha256:877dfc5a67e176b428a72890453706e2294d4b3c86e9c30b8cd4ca6c329954a9
results-70300-10 Expired
8.31 KB
sha256:d3ceeb4fee74916d972c4aff402a1a86c5c2cd90964593b6556b141d84f2363d
results-70300-11 Expired
8.42 KB
sha256:ada29ce3d9c77167138a46daac2f805ef66a91a042da615ff7133b06600afaa0
results-70300-12 Expired
10.5 KB
sha256:b68378ecdc6c1f0beeeef72792b58e77490a5a90d6b315c0c25fe87285b9d181
results-70300-13 Expired
8.38 KB
sha256:bc174cb1d47e96ee95f24e7726cb8704cbc6676ab0a07f17eb3cffbe5a3b6341
results-70300-14 Expired
9.54 KB
sha256:b650618c04a65a4a9752d211a46a30048a7aa60cb6007d5c75c3be007a23b9c5
results-70300-15 Expired
9.17 KB
sha256:6ddaba357d88f415f3056e3a2bd4b4072155cad43c8beec60223cf82ca492acc
results-70300-16 Expired
7.45 KB
sha256:31e43862100b61332d23a45f6bceddc10ba8c349c5e25562ec77589062030691
results-70300-17 Expired
8.04 KB
sha256:e60e9608d55b900312731b49b09a5acc2d4b42b5ec564a2df7fe01cb08794dcb
results-70300-18 Expired
8.77 KB
sha256:894a040d1a77eb03e946439aaeffdac592b07947ebc38480aff61252d5ac96d6
results-70300-2 Expired
8.72 KB
sha256:edeb040136c113c5e1cccc3c6761bb953d2e646d00b036a53da72879f6b232a1
results-70300-3 Expired
12.4 KB
sha256:20326c8f2c41072a19e1ea5c0888abd5130af4f00463c20072674c8310cbc1da
results-70300-4 Expired
7.41 KB
sha256:237135512d75b349a4e5690023308bd5b8ff422f53ccc3c8657a6a3650e37d98
results-70300-5 Expired
7.39 KB
sha256:2d2276583bb55ef558f32a09cd1ec86eea9072d6c3efdfae3fd68df1a65c475e
results-70300-6 Expired
8.63 KB
sha256:2166906dd590029d715df6d3dc743f4208d023288a0bc23bb93701170ed0c2e1
results-70300-7 Expired
7.75 KB
sha256:36d86531b0571ce97037d671f58814594c0d789fd85602ef0de7f9b18c93de30
results-70300-8 Expired
7.76 KB
sha256:dcd46d854bb0aa02b113365ff045dc964cb742e33f81b7141fa0533ab87fd327
results-70300-9 Expired
9.56 KB
sha256:3f9762fdd3386e77c87dc8fb5dbc2357089766ff518e3381641eb7d9447701e3
results-70400-1 Expired
9.12 KB
sha256:a516cbd7c97833784b47f02f745e87fdd4b07e1df1403028c023558fa04bcecc
results-70400-10 Expired
8.31 KB
sha256:1ccb29eae66524560cce962efc28d207c407b7a11703aa16e8feb77eefe9c2c5
results-70400-11 Expired
8.4 KB
sha256:111122d61e2d7511744a7f3f7a508bb2f78e3063f5a7378fd0f3851c5852969e
results-70400-12 Expired
10.5 KB
sha256:0f1104b2bb290da5ce531b8d938be722235124ab00d82eb7cc36734dc3aea3a9
results-70400-13 Expired
8.38 KB
sha256:676b02bc057f0a3900c38b968b92feedf4d5665e60ba98a9c5f8319cb4684cb5
results-70400-14 Expired
9.56 KB
sha256:4721fcad36d2e98091cd861358301c5e90345d006bc8e92b4ff5aa6cff9d27cc
results-70400-15 Expired
9.17 KB
sha256:24e4ee2449f6e4a0307b752030bd45304dc018252e61620c4d5b3f923641c7d4
results-70400-16 Expired
7.45 KB
sha256:112271e71a8a38c607bfec9eb8a947212f6cb885fa98d78ddae541180e2057af
results-70400-17 Expired
8.04 KB
sha256:c49a9edb60a635ba46c4d850cd5a7d61bff002357d44b4f212cd86048f2fec3c
results-70400-18 Expired
8.77 KB
sha256:8b0c5f26eb4cb96d15906789ce7e8b54ff02e672ca600fd4dfebfe5181feec6a
results-70400-2 Expired
8.57 KB
sha256:09ea480d1352f126917c9e93f0db2bffec58ec5ea7b424a1473a5d9f9315c61e
results-70400-3 Expired
12.2 KB
sha256:04567d46f6064b9c516a47493ee9eec25701b6c117578621ea37d5c46a0046dd
results-70400-4 Expired
7.41 KB
sha256:8402d8f77d9f7b9fe56c8bcfbe819f7ff0a8f308380f74d2552da21f486b767e
results-70400-5 Expired
7.39 KB
sha256:4fa4f9e0f26e9559c7d1bb2247300c4997aca4d636efe356db5e98412a741ab8
results-70400-6 Expired
8.63 KB
sha256:14a1160c8be98c8bafd1c065c05d612c54e11c245c8093f3718e15e550c72685
results-70400-7 Expired
7.67 KB
sha256:95b8808c37085c55e0f53bdbab31db0776aadab8c3663c11a8034b57f89eb802
results-70400-8 Expired
7.72 KB
sha256:2ea6b75001ceea590872dad1f5577a760b67a51c84dfd5317cc053965a6bd035
results-70400-9 Expired
9.57 KB
sha256:7ee2965566fb69653ae92b3c28a47c9618e267cf00652b655c88fe205a7d71e6
results-80000-1 Expired
7.14 KB
sha256:b71b02e7337ad5119fa36bee2ea9d73133c3e19aab9d8bd4291bb8b2e720777c
results-80000-10 Expired
7.67 KB
sha256:0aaa6a0fc14f60ae6c80df290901ac96adc4dcf58bbe5c20b90f26021a3279dd
results-80000-11 Expired
7.72 KB
sha256:f61585acdb98313ee4a8cc0b959899a90b2734ffa3f313731e278c37e5b91598
results-80000-12 Expired
8.26 KB
sha256:0b0c993216dea714735241b36096485d85312f434ff55e164f71357f293e6817
results-80000-13 Expired
7.36 KB
sha256:5854169a8379ea1b8eebdcf78401462339288fbdd2b9a7c6b6bc912708a42b48
results-80000-14 Expired
7.3 KB
sha256:341087ae526870a38a90df16b57209b454847c04706a455d0d1893f3298d99a9
results-80000-15 Expired
7.95 KB
sha256:f62f53bbe63ea17aeff0bc6365ea4fa6b7b16ac6e6b8040544a8b315108cbb4a
results-80000-16 Expired
6.8 KB
sha256:3ba5be41b30c0899f61b290eb11d36246c430f462e4b71594ead955766c7842f
results-80000-17 Expired
7.56 KB
sha256:fc4c4015e996ef611ea7653b374a0b26db09ba84c1dd4dedeac50177f5d18c8e
results-80000-18 Expired
7.93 KB
sha256:d2ed6c7361e037d65a8e05c21051201e9ed1553b9d862d2636783df101f78096
results-80000-2 Expired
7.63 KB
sha256:f105b9930a5d25d7e63cb5fe6532f7041b6c1c386aac040c897c4a5fc3c84183
results-80000-3 Expired
11.3 KB
sha256:29446f77c288bb88f4f9576abcfe11a8395f0d432885a946893eff0124b01939
results-80000-4 Expired
6.7 KB
sha256:62e3c2d7e786cfaba526717a272ba03e65f8955f4ded6b115b3621ff90b65449
results-80000-5 Expired
6.72 KB
sha256:ce4ffff9599cdc47850c96e20327d6b380f680ae50968547b1afd3b036bfc19a
results-80000-6 Expired
7.99 KB
sha256:7f78b787d10f44b66770fd0204552d2d8db1d30a4ec159e74544de446ba8eb5c
results-80000-7 Expired
7.25 KB
sha256:c42199d722ea72d702da92bd82c479a098be96c53bb225be54e2e38fc3957fa8
results-80000-8 Expired
6.85 KB
sha256:9e05513f7eb1229366cf01f2e2f0e8d897a9c8ac45af45ed6733d882c2f67c35
results-80000-9 Expired
7.69 KB
sha256:3691b19a425920bf1a4559a34b0bbc8525318daaed623ff3cf4f1b78d986c46c
results-80100-1 Expired
7.03 KB
sha256:f64f406e26c8ff738acb8822b90c49078f78edabc823ba00b309a3b36e61d4ff
results-80100-10 Expired
8.03 KB
sha256:dbc26be28329e66361be9228ae01146ad911f0c90466097e4af054f31af30090
results-80100-11 Expired
7.97 KB
sha256:14220202800c619adbe77e72d701c1cb69b74ee89620173f928e8562890ceb06
results-80100-12 Expired
8.32 KB
sha256:e927d4ab884f4f4282874e14686fcd9c8797afb73f3aa906fafa92065ff1fa2c
results-80100-13 Expired
7.51 KB
sha256:9115ceae957e23f4bca5dc16973e23ebabd6bec57c393a4c10565a1a1c836a42
results-80100-14 Expired
7.18 KB
sha256:93ffeef1949b0764360a1acb4e62b25b3fb9ab5f1a760934532655abf5a3aba1
results-80100-15 Expired
7.9 KB
sha256:d2998b8c92df3414c6c4c0a2af7c9a415c16e6d4737afbb550f03cced1b36a3a
results-80100-16 Expired
6.8 KB
sha256:39bbe17f650a2e9aff7a9a2c0ee495c6a2720cc611f0b0c46d32d419c8ab16c1
results-80100-17 Expired
7.51 KB
sha256:7a1c310c98fd4bba4927c1e25b517e8110ad184685c656c2f1b6c13623cea889
results-80100-18 Expired
8.3 KB
sha256:2b2cb6857bedd4cc4eaaf32d7b7ad4d8fdb7aacb4bcab5680fba17179171a9e1
results-80100-2 Expired
7.68 KB
sha256:7f0af03912db4e65b44bb36878530844faa7c98244890889b942cb4c150381ca
results-80100-3 Expired
11.3 KB
sha256:e5c680853e773ad16ae7a3ac2ffb0f966a5c378abe7fe46fcf6548909b5c10e3
results-80100-4 Expired
6.55 KB
sha256:bec44742c3cb876ac1600c05a2fd7a66cbb2c1fe6bed0565a2ed6e95689668cf
results-80100-5 Expired
6.99 KB
sha256:90986bf2408e04d285237f994db799faa9a8c868f85187e621ba501ac37e9516
results-80100-6 Expired
7.84 KB
sha256:1b027d6e36b5ef53055a25a559f38d9e8ec4a6c78e6a4f11dff798bef1255339
results-80100-7 Expired
7.15 KB
sha256:2f6bf6fb87eb83b4348124e1e6bde9c76c0951915b147da84c7f7ef1ee41d10e
results-80100-8 Expired
6.81 KB
sha256:ec94e2cb3e62d05d1fa2beff85e2bc05be7f3b915042107da6de31b86f97dc33
results-80100-9 Expired
8.48 KB
sha256:010f84148d3538555daf0bed6d4a7b5c3d784d05beacd7df8880c78210249784
results-80200-1 Expired
6.99 KB
sha256:828da997dff874ccdb0ab399e5d7b96857e6430394e4d6019ca0823b85d01982
results-80200-10 Expired
7.95 KB
sha256:a7874bd6cca9c9c9594368d65407106f140a21d2986c31fe14634c0010ef01b5
results-80200-11 Expired
7.77 KB
sha256:d626d57a96d69ae5a4f0b5c3c4436cc844adfabfe92837114d09d4bce137eb30
results-80200-12 Expired
8.35 KB
sha256:b72abb80f5af4b3c0a7403b1e9251ae138388ab1bd65fd170490f3fe3d42578f
results-80200-13 Expired
7.55 KB
sha256:ceb3ff81ac48959d631216cfd1c07b9c56f50e7b1b726b3747fddccd4af751fc
results-80200-14 Expired
7.18 KB
sha256:0070674c582a2c3cc67663025b02ce74ba2d4119a315ab497ba04dfb8d21878a
results-80200-15 Expired
7.92 KB
sha256:a863e688a2a8b2b1ccf3b70e9daaf2fc93c5c4328324b182880ba21ca23c0994
results-80200-16 Expired
6.8 KB
sha256:aa0bfe9da57cd2c7b652a03ce847eee3f7d4244a7a0f7056ba831c654d76c301
results-80200-17 Expired
7.52 KB
sha256:3704849258c5010ce6cb1ffada69340de3edf1c8b6679dc6c365e25c17405f68
results-80200-18 Expired
8.24 KB
sha256:4440a8ce52af8e42a89763a88e4342c3d738126e630c6a19cd5f79655e2a9c85
results-80200-2 Expired
7.68 KB
sha256:3f23d31230fb13e47ba4a9ebe93a925556d30a7993d9f39205f627cb66e2107f
results-80200-3 Expired
11.3 KB
sha256:9fca52abb8fba5634a7e026988c7dcfee8c79f0c57030694c07056c7ccf1c8cd
results-80200-4 Expired
6.58 KB
sha256:95854b8b6ce1689df5184c6244af4b148880ce2fc4966195510aa61771360646
results-80200-5 Expired
6.94 KB
sha256:2ebb037223edb33ab880a32c63d1c21ae5499e9ea0bbee063e4f3595a1c4506f
results-80200-6 Expired
7.86 KB
sha256:d0907b2c3e2aea7f1106c5114ceef909d948154702c3b906b78f6bb5efe2af02
results-80200-7 Expired
7.21 KB
sha256:d6d852971bfe04a20e105c273f720abbeded0fcfbdee61072ce918c5d06f5ddf
results-80200-8 Expired
6.73 KB
sha256:c5d813bbd7ea8d4e02c4b684db90d2d4c45deeddaa542370ff3d53dbe1cad174
results-80200-9 Expired
8.12 KB
sha256:f63de3ba490222674d590b78c37616bcd21a38ef589506559cdc5594726b6bb7
results-80300-1 Expired
6.9 KB
sha256:7fa1c17632182e3cfc01db2be133f65f865ee097902e3a317d894eb9f4b5b35b
results-80300-10 Expired
7.85 KB
sha256:583a9a6b2eb0569122477bbb7b0a9ff6728ab8b4fb129c531f229b211695386e
results-80300-11 Expired
7.77 KB
sha256:b972fb8cf473345b26b47af6f1887bae59f42edd633d0ce93c16cb00e4b03d99
results-80300-12 Expired
8.35 KB
sha256:5a9364b4e0e5c4b42825fcdaf1348bc7efa889840f981cc41c26266d314aec10
results-80300-13 Expired
7.47 KB
sha256:56bdacf1f720d6596567177b05e59924db66903efb017db469b226678a383795
results-80300-14 Expired
7.18 KB
sha256:5df4af505183d18b5721232c326a9e6243da291bf5c39d536fdb9d095fda4741
results-80300-15 Expired
7.92 KB
sha256:49dc508fa4b4392bd758611815d7f9901f7e54de538a158b9499c8897bc05f67
results-80300-16 Expired
6.8 KB
sha256:f8b27dba8702e7ec2b6bc4dbc093ded642b9985df2c9ac4c4bfebd252d0b65e8
results-80300-17 Expired
7.52 KB
sha256:fabd19f2b429b87e60ab72eb370ce17c02327d412a2608b107ec7e80405e7e0b
results-80300-18 Expired
8.17 KB
sha256:3902bcdba8409a75ccc040d0f10cbed45f027a288bfc91123d893c93c06acc75
results-80300-2 Expired
7.6 KB
sha256:37a5dab90cbc71d65066ffb178b91f8695506ac653027f007fc695864e8215c5
results-80300-3 Expired
11.3 KB
sha256:8e848817205b77bd54cbc78a6ff41cd270ee72dda860be47d4e51aa6aa654fa8
results-80300-4 Expired
6.58 KB
sha256:fccbc1080a55ab282b9dbb681ce2e54e6099d1f26459286425ab0af5a52a7654
results-80300-5 Expired
6.94 KB
sha256:4d1bf0141b6ef3fb121eb6cd811e8dab3125ebbc1a97b35c0c000c0ecb7d503e
results-80300-6 Expired
7.86 KB
sha256:ff76f61b145de9959a838118fdd7f849177b1430f91e89e62d795c1af638052e
results-80300-7 Expired
7.21 KB
sha256:90669c2ae25a51dec4c27833ed944c2f08fa12c24a4411963ec6340a68866d7c
results-80300-8 Expired
6.73 KB
sha256:0e1c8aa5a14e8530e8f38f5c89c342bade10fe7400e973c3d72d84bb67deaf1b
results-80300-9 Expired
8.12 KB
sha256:2784ee214b41e79d92b5387c9760628578d0298ffd943fe529950444a3c0bb0c
results-80400-1 Expired
6.78 KB
sha256:ed49ac51bcb5dd0b1ecf4b181b7a0b82ea485be47863e80f39516aa3185b5fa9
results-80400-10 Expired
7.85 KB
sha256:f36651221e57991b22304f40e170517d660e43b902bcef11baee41eaf4ecc052
results-80400-11 Expired
7.77 KB
sha256:aa86d830117b53deeb2e6173c79ccc0ee3fa763468fcc30516988b3d2f510ad5
results-80400-12 Expired
8.31 KB
sha256:564521b7ae98780de8472f60cdbb734bae6ff140c864f6bd4a0659bb6792c576
results-80400-13 Expired
7.45 KB
sha256:079c257380bfa648a5678c5748f777cdce04885459f9db5a994e737886b233b5
results-80400-14 Expired
7.3 KB
sha256:18297a2bfe2a09514369b592fd9c58562fc7fe19a1d4ee5fc7f4f5323d125673
results-80400-15 Expired
8.01 KB
sha256:f8c0cc4600426d10e1099c4f0456a0b9aa5fbb9a08530f12ddd38a8e4988f5cd
results-80400-16 Expired
6.8 KB
sha256:3504ef7475173f208c0ffffe4c4d0642b4e236ecfda0190bbdf0cd2849156ae7
results-80400-17 Expired
7.47 KB
sha256:1c49c6df49ec5baa71c08a2866df8c9b3549039012b112309aed727bd73025ac
results-80400-18 Expired
8.14 KB
sha256:d19fb836a002633313af8e5ad9a4b6af0f0fbb6b15a2632578f1fe2b4dc632fe
results-80400-2 Expired
7.6 KB
sha256:e6d00740d098ac7822dbaf15c1d03ab605dc695c06bd8f7449cde21634ddef63
results-80400-3 Expired
11.3 KB
sha256:b48979bccc86a0bc340fbcaa9023feb7ab0a8e033899b1438192f5847da069f9
results-80400-4 Expired
6.66 KB
sha256:515e3a1f91b69cf12de9c2b796d77a329d07812dddde1ebc253bf8f69e036f4e
results-80400-5 Expired
6.93 KB
sha256:252744309e6a0efa36a4dcc8507fbfe48007282b773adfc2789d9270b07afc56
results-80400-6 Expired
7.86 KB
sha256:60df2877c949e52e6fd63a7f7362bcadbd66fc3695e8201b83c9a0c2f4df49be
results-80400-7 Expired
7.21 KB
sha256:c35f9de5e467d6ab2fd0ab56fd2869441c195b2131a4a4b66e58949645cbd61c
results-80400-8 Expired
6.69 KB
sha256:a96e398d61e0ffe10cc3f6671e95ec0d046424526b9c6d92204928af6edc4261
results-80400-9 Expired
8.12 KB
sha256:e0e993c81cc07126840c6205e373c8486ca66dcedf1347fbeaf9f03c2c91ed9b