Skip to content

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

Respect asserts and throws on pure functions that return void

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

Triggered via pull request December 12, 2024 02:20
Status Success
Total duration 6m 8s
Artifacts 146

issue-bot.yml

on: pull_request
Download data
25s
Download data
Matrix: Analyse
Evaluate results
23s
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
550 KB
sha256:3fb9b1f0419d35e29a1c6a0d67e6bf0eb5ad19f48908922725693ad18101553a
playground-cache Expired
472 KB
sha256:66c5e7658115bb203ed94fd758bc40e5632536501e7813a1189e35df8c753013
results-70200-1 Expired
6.77 KB
sha256:f80948d1f8b2f2c72ad402214fe66267efac2bc1e633ef87651d399c3fb58adf
results-70200-10 Expired
11.1 KB
sha256:79206d0d20ce29c85a3b9a6452d4dd30dda6aa651b3c34a17d338720c5c30b9f
results-70200-11 Expired
8.27 KB
sha256:8945c050a005cb25d64a096404f38d7d6c807994ac57393c35d2b92d1f47d311
results-70200-12 Expired
7.53 KB
sha256:c0bc7e37e54121bdb003c8dcad009a2527fb35b6f4835cf88e3a015e5123cff0
results-70200-13 Expired
11.9 KB
sha256:ea04739804a1d17cf28600a53e83d53f07d9ff7a210eab0ba832667db2e94c50
results-70200-14 Expired
14.8 KB
sha256:3cefa143c0ead0d1db1b163d91603d5f515210d73712509f0c044eb500978c73
results-70200-15 Expired
7.95 KB
sha256:938931aeb8917e17334ca589970c983b78799617dcb483b185ebf208c5af836a
results-70200-16 Expired
7.91 KB
sha256:d08b63ef9af00d9dce3b3cc3f5775b3da3dfbe500d245dce874d777e9638393e
results-70200-17 Expired
8.96 KB
sha256:6b8ec8b10ccaee520dbd6d44f9fb92a96f48c81c7389d5ac027b5962267ef55a
results-70200-18 Expired
8.59 KB
sha256:8e4830d64396fc1d779b73c874b4cc1d2065bdb23c483b73de5a459c90bb0636
results-70200-2 Expired
8.33 KB
sha256:1888a1e0d6e2db594fc5434c0494fade833f6be8d3ffb024adc6b7d3c056afdf
results-70200-3 Expired
8.4 KB
sha256:0e3943e79be8468d90588df73923ff500b29f9108415f69ff5af2b5f541279fe
results-70200-4 Expired
6.81 KB
sha256:1bdf5f25421a628c132f705d1e12497d050be2b3f63562981319c51624fafab0
results-70200-5 Expired
7.68 KB
sha256:8a07298122a23fa7a3323c475c7729ced313012186b7c8df3b5e2310d170bd79
results-70200-6 Expired
9.49 KB
sha256:5183183e066f8f36c7bd7cf38f11137e98fb9cc3a75f2350e4e625077464bd20
results-70200-7 Expired
9.01 KB
sha256:b43158fc4d27f2f81e214029e5c7413de93564d1ad854a56d52f7685b62a8b8d
results-70200-8 Expired
6.73 KB
sha256:7d7b21efb975cb37b3a14faa9e7e01acf3da5cb6236830d5db2a6382844be40d
results-70200-9 Expired
6.75 KB
sha256:dfbb7f45709670d15d9e9db47534f932e700f6650d523ef5360f0ffb6747ea63
results-70300-1 Expired
6.77 KB
sha256:aec54ca9396cef17eea0427edb53b442b2fb26b43ebbe123832eb74824d899a2
results-70300-10 Expired
11.1 KB
sha256:d318d4cf7bd0306a2c841c3f88e70b7998f77b2c56643f4f4d19e1cd426ac795
results-70300-11 Expired
8.27 KB
sha256:c760301b14b2a475a987d0e0f87042b5a9a92a112664b5301018c7170898137e
results-70300-12 Expired
7.53 KB
sha256:0cd7674e8e9518e2051415c269b398fb1e05265a67c16cad8efa99ce42fe3706
results-70300-13 Expired
11.9 KB
sha256:cefb6e0834c2aebfe25912b7ee595a0065c5062fd117a076f59e29f344961de0
results-70300-14 Expired
14.8 KB
sha256:6750cd5698732a1dcff6f0337f3acf4904e7eef041c5f1df14363ccac3e5a47d
results-70300-15 Expired
7.94 KB
sha256:a2c0aded9b8c1e4104bf895ef89ba573ec3f6c76cfab42c4a238c9badb3e1f02
results-70300-16 Expired
7.91 KB
sha256:b35c386dc5b565ad2ba6b5838a13af433273ace0f36aa666dac7dbf851289924
results-70300-17 Expired
8.92 KB
sha256:1ad4aa827989c5dea2031fdcd86b7ca1721051f0503817fd04139cac56cafbc5
results-70300-18 Expired
8.59 KB
sha256:3802b87f2e5a4f0597f7009478d374cb942c79ffaae47b45b087c8ab8fb8d885
results-70300-2 Expired
8.33 KB
sha256:faf091d8174d5bc12c4eaae6bc2f56bb063e1028ead1910682bb99708a87db57
results-70300-3 Expired
8.36 KB
sha256:6102e15b1c3d691819d62147cb1888936e336430b716340c368921f4f157b2bf
results-70300-4 Expired
6.81 KB
sha256:f37aeb9e5e0eeeceae30d8eb0214068e02b07f7b3a4a27c49c860aeb0e1661f4
results-70300-5 Expired
7.62 KB
sha256:728387809cd5d1fdceb9b69cb9ecc15f9a05779fe398b65431b88bf789c1402b
results-70300-6 Expired
9.49 KB
sha256:153be985ce4cf88615c40de94cf8a702e58dd6a06f92c3035dff90367f057f80
results-70300-7 Expired
9.01 KB
sha256:7ed01f4d60ec5420917bb1b62562967cca2852404524c2ccdba12e92c7a783a7
results-70300-8 Expired
6.73 KB
sha256:449ad828176a6e971d437c7ac4c740f30decf1a91a300d59beebc2f2adb3fb7d
results-70300-9 Expired
6.75 KB
sha256:337d924faa26bc23b4f8a62ee6d1143e2415bbdca9c1ceaa35e4e9771c223617
results-70400-1 Expired
6.77 KB
sha256:77cbb20eaf1caa03f505d436f03c8ec0d5ba1109a3c8bf2aed5fd8cc11c1d6ea
results-70400-10 Expired
11 KB
sha256:467d4705fe375dc0dae62aa0a03bd9d9b3cbefa00dba13310d0f00a1a6c44b37
results-70400-11 Expired
8.27 KB
sha256:6ad4386eb4a6e754af31f904868f4495ab38138faff15d2075abbfe90e7344a6
results-70400-12 Expired
7.53 KB
sha256:cb078b2278a1019df0d09ac944024d41b32ed16601592c3c9710e0f3e2600e49
results-70400-13 Expired
11.7 KB
sha256:c6349379d8040ac9b121f66af2c5e958c35e14acef676c8528c9d0368a4f64e9
results-70400-14 Expired
14.7 KB
sha256:5d8400c3b02064e892c30be1055b5b6bc174126508c175607c20471d9fd193f1
results-70400-15 Expired
7.93 KB
sha256:411842ab06a848f046043194b6a0013d04bb6ef616b19aab34d58d6f29a21a95
results-70400-16 Expired
7.61 KB
sha256:043db6282c272842de16a736513d9cbae6a5d06d7f57cfc4af827aea4f4eb046
results-70400-17 Expired
8.92 KB
sha256:d751888070db3484ff5228c4a3f27d2a08b998fa594f53a17ad42ab71ebe5c27
results-70400-18 Expired
8.51 KB
sha256:d6040cf8b3ce2d3c50e7eecb412d611aa563b314c49302fe1cc50ec43e10bbf8
results-70400-2 Expired
8.33 KB
sha256:982181adb157326a9ba83d3e96ba8e6aeba1de4648d1657509ee395477f040f8
results-70400-3 Expired
8.36 KB
sha256:3f27783b0c06996ee29fddbeb1828ea22c19ab384f6ce5dd7fc299334cbd5c76
results-70400-4 Expired
6.74 KB
sha256:08197248f0ec9dcec86a988e7b2b7c24a7418cdeaa0a1aa579fbd65b91d5d97c
results-70400-5 Expired
7.63 KB
sha256:19b02c218b56753a37f37bd1ac6fbdd915cc19b065ed13dbb099fe212235ff1d
results-70400-6 Expired
9.5 KB
sha256:09cca313b058f461bd1664f8566a5bf13830082e2a5e1ab758ec1e93377f3b18
results-70400-7 Expired
9.01 KB
sha256:782ba2e5bc8210853d74402d6891dcca951b5e90c6f6a0d15e7193719a0ac2d1
results-70400-8 Expired
6.73 KB
sha256:13962702b79226af85e76a49b706c0a370bf1d0302e4a2553151c07ed1d6c444
results-70400-9 Expired
6.75 KB
sha256:c872602fa3037309c9b425af2dad8bc1f375758a07567a08d2b86ee798382a28
results-80000-1 Expired
6.13 KB
sha256:2dab4d92da451dd003e7e4832985e020a27a6424a505e5e7c2790db14bc1fb54
results-80000-10 Expired
7.98 KB
sha256:a27173770d21d1b5a0c2c52766738f9efb0861f62218750777c4adc6bea986a9
results-80000-11 Expired
7.26 KB
sha256:830767f04127b4f20b9a2f491428f80846801c296cfc7b4ab15fba7241bbddcd
results-80000-12 Expired
7.06 KB
sha256:649e108d740b02d9f1b2ca9c32ecb24c29d0dc0d47d73cedd97c2294a9991e25
results-80000-13 Expired
10.6 KB
sha256:6aff8bd9de9e28d608e1980e389f7601039b10c2cd4aaeacb4e79b4181d5d6a4
results-80000-14 Expired
13.8 KB
sha256:b011c7a5fc0257d4eac9bea36449e091356fad994d4b9216c52588668790c07c
results-80000-15 Expired
7.33 KB
sha256:312fc527e2acfb961acedbaeee26ec0148a903869034e3ad2505024548bdb346
results-80000-16 Expired
6.94 KB
sha256:b5ae1f82b11695ed043ad5d04ea2b709b1e5f90af8e243ba22377c77d88b0894
results-80000-17 Expired
7.41 KB
sha256:1ec17056250d88b1f1c3123524958a6f9480fe3bb1012472d7c24c0028398258
results-80000-18 Expired
7.5 KB
sha256:bff10c138cc3f30a4e199b214400294d40bc9043f12e534dbae8fb911af174e0
results-80000-2 Expired
7.48 KB
sha256:522dc4ab14e617c998e1d135e61e2e372dc22e56224a45a30b48c670b8721baf
results-80000-3 Expired
7.84 KB
sha256:b4a8d2186452e258afb7e4239d273a7518708889e8c02a22385a929fdf01c34e
results-80000-4 Expired
6.43 KB
sha256:14431fd0755eeaef9eed76e9ce58ccedbfc8e2d1e707ff7c7ee11dde3c465d9a
results-80000-5 Expired
6.64 KB
sha256:bd037393e43ef76df4c74e43f034c4aef2448277a4e90ea7153947f96e121ae4
results-80000-6 Expired
7.01 KB
sha256:4e36e3b35cb663c007cd5aa62f162cd9599e45b2dc32fee7e26d02a6e13d20ea
results-80000-7 Expired
7.84 KB
sha256:bfa8435d1d9577606fb52c3e7d61d5b0580721ccfaca210279e74c16bef3d543
results-80000-8 Expired
6.14 KB
sha256:e45c52b0955a9cec70d21b4d86985f9e2978606df1b6862906c44cf3bfa88524
results-80000-9 Expired
6.53 KB
sha256:98db432aaf42e747588942b9a5a02634ee262dcd06e02967fe3cc4c81169915f
results-80100-1 Expired
6.23 KB
sha256:59a3940fd08ee53386ba2855d0cf59ef7dd51b7517b87445f81a77d4fcd128e2
results-80100-10 Expired
7.79 KB
sha256:443226e712d733f65b9680d4f9308d30debd0b51a7a3a78f75b073ffd5c21c92
results-80100-11 Expired
7.46 KB
sha256:5950f11b98fc4d1d5812aa73b5b8c04ab5c78c81f0a75c1771e60fc6f598de89
results-80100-12 Expired
7.13 KB
sha256:3ecd6638d5c5c1a9c795f6bf03863e77aad2e24ac87a7ce04aea0ba3edb90f82
results-80100-13 Expired
10.7 KB
sha256:bc3a189c737ed6011367adb6f15ab9afcdeafc528fa9465c8902af7124395e38
results-80100-14 Expired
14.2 KB
sha256:69aeb25ef4889232946161de128d0b6a29e3fca9b735e9333d674ebf0858f08d
results-80100-15 Expired
7.3 KB
sha256:8e708514579b79fc521fa24f0705698d4e77eec276094113f3a92105f16c8643
results-80100-16 Expired
7.14 KB
sha256:d13753c4298000f7306133d719d9e9f21bed41c095c8d10e030798a85a5a0513
results-80100-17 Expired
7.33 KB
sha256:000f4d64d7da56c8c869d0c0aef49b0dd0eb32c6817e74a7b6400647504d5c5c
results-80100-18 Expired
7.94 KB
sha256:0366223b4e859efd659dd6a8ddd584eb1b603a1ac472d0ebe709e628189fd1f9
results-80100-2 Expired
7.53 KB
sha256:33f9483f0d8c75d732d5aa62e25b3f61aed20144ca6472fe9badcb6d82c87247
results-80100-3 Expired
7.77 KB
sha256:2b2390a45757b0027c328eeb56c27bfedc05ac635ce3ba5101f9fbb8e7fe7d55
results-80100-4 Expired
6.33 KB
sha256:f0a6bf9a5391ef70d3f6e569eee931ed125f225da70e71043bee7f03ed89bc07
results-80100-5 Expired
6.66 KB
sha256:d19b566c1b6d85aa3d60dca372e9a44708671317ff3f1eabf2ec729bd1fecc7d
results-80100-6 Expired
6.92 KB
sha256:c60d9156e3c08d54c13383494f5e2ed13e046da52720145ea21b9edc40571531
results-80100-7 Expired
7.77 KB
sha256:e8d0bf83774046b66a098b4f5612f59de22f58ed98f695c5c568e9d3cd3886c4
results-80100-8 Expired
6.14 KB
sha256:f1ea5bc6a1df7205d3e16f4a4c277306f879220873d25e1f3445b613129b15d7
results-80100-9 Expired
6.64 KB
sha256:d3f06fa68617c1a90614b9b4c96b7ac94930f690cbadf9b014dfafb0aa4a8550
results-80200-1 Expired
6.28 KB
sha256:85eac47a444341c212c0d688def073b040e2e5f92858a9f18654e267ccf35983
results-80200-10 Expired
7.83 KB
sha256:819fb4341af3cc353d0beb5dcc83c2c2dc91f7a1c102344b3ea530da47395838
results-80200-11 Expired
7.5 KB
sha256:2d8318f104e296f139292383b116cbeb6dd0e959a5d36cb099a4c9a223bbec1a
results-80200-12 Expired
7.08 KB
sha256:1237951ce9fdbc7b695e4d9629e51b3a41a6ef8bbfcfb179ebc3bc105e7e151f
results-80200-13 Expired
10.6 KB
sha256:e838a2d4b5dc8210ba9c68cfc4e708a68a485525d9b3f3ffcc69d95b22429a2b
results-80200-14 Expired
14 KB
sha256:4fc3b259f2d48c3c528e5eac13c4245cc51cb4a725a94eb189838b3230427b68
results-80200-15 Expired
7.23 KB
sha256:50af43e1bd9bdb4f124185383c753dc4408f55384d804b99eccced8eae13a27f
results-80200-16 Expired
7.04 KB
sha256:e7f8668ee8f460c2c6bac1e2339510f6f9190bf82df2199a9a3b5eed64886529
results-80200-17 Expired
7.14 KB
sha256:f9142f8ec26dece7b215eaf16fed69c110ceb5f3bf19781750235ebd0b65d558
results-80200-18 Expired
7.82 KB
sha256:165f15c0885c8095bbd588cbd45783ea03b58d8eaf6d387694d2ee37b5e5989e
results-80200-2 Expired
7.55 KB
sha256:21511ebb7e5940f26f0b607f455e47ad493a95f19003b37895f75b18904d2194
results-80200-3 Expired
7.8 KB
sha256:5153b7171e23ffa8bdcf1cbc620768085673d391dbaa1bfdd8255573944f25f7
results-80200-4 Expired
6.35 KB
sha256:fa13c1fbefd16fd49c8d2bcb6b4d6b176795cf0e650290032dfa76cac95e9099
results-80200-5 Expired
6.63 KB
sha256:1d2514f5014ad27423c7dca0802202d6fa2ba060adbce4e484e82cd889d37778
results-80200-6 Expired
6.92 KB
sha256:63a4a9540991551cb6725609cb96012f5bc7d9c16a35c54c9b6dc3bf015dd9fc
results-80200-7 Expired
7.77 KB
sha256:d3f0ae2805ee16ab510c44e26aa689bf6ec5ed4a6784b041978c9544e64cdfc9
results-80200-8 Expired
6.14 KB
sha256:bdca0fb10a43452de3015f3ad2c5f7bea22d29ad276c9c4563933375e1ff4090
results-80200-9 Expired
6.64 KB
sha256:576ecce42cc88a4bdcb26f68691cfc645a684fcc4a962e2b9083115a18a3da89
results-80300-1 Expired
6.28 KB
sha256:31b411f7072b70a9be7228f2b6a7244c9a5dc5be0d87eaaa67ffb534387f2ec8
results-80300-10 Expired
7.83 KB
sha256:a00e677db93f1e6be0ce5f14e13633328bf31af7cfba9f86771785a100dfed7b
results-80300-11 Expired
7.5 KB
sha256:cc1212c0f89dd2ed09fa18bd12608d2a7404ceed76a76301c0dfc6c1f6ca72ef
results-80300-12 Expired
7.08 KB
sha256:5f1e3f7f305666305734effc47ad62ae705fee627069c7c37ccd28c85e5f4643
results-80300-13 Expired
10.6 KB
sha256:19ac2995baed2db93113f4fe3c5a37eefb3ee049ce2d93273478114ee0f678f2
results-80300-14 Expired
14 KB
sha256:220071b386c7beacd34c149f0b71c083ac4bd4b49515f3700937b8789743204e
results-80300-15 Expired
7.17 KB
sha256:668e4bb99da0435dcae2edf62c4fb9e09b411afc9426ab6cb4486326a2e20f2e
results-80300-16 Expired
7.04 KB
sha256:dba9df66323fc03795076a7073741fe4a944aaa408d32cfe8d73062cfb9101d3
results-80300-17 Expired
7.07 KB
sha256:1a4c16eb5d90c6a1dc8af5553c0b266fc7a7c5651ff9d12ca9d3183b59738f16
results-80300-18 Expired
7.82 KB
sha256:dd109ff340e6d11ce9afee983664bbdd7f8932b1624f3157a7b3bfe19c281ed3
results-80300-2 Expired
7.55 KB
sha256:2374e8c6cd1f8850385c6c0d4236c45adda1f24ba7c126415a8a3f04cce2384d
results-80300-3 Expired
7.8 KB
sha256:6ad8e2ff25ff6737108cccf922e55fae467acd248a7286eb4f892d425a236fd9
results-80300-4 Expired
6.35 KB
sha256:087755898f7e27e6facd56b41abb84ea279c6f67db63fbc817a925158a368c8d
results-80300-5 Expired
6.63 KB
sha256:c885f7e90ea7fc6154a2fec5dacbf557f87d24db169a586d9d2e61214ffa0dd6
results-80300-6 Expired
6.93 KB
sha256:8435bd7271d48da3c4cd39a76195198974bdd9fbbf16c5439bbba5d7825d0723
results-80300-7 Expired
7.77 KB
sha256:a0e053d437a81f883632b637722ee2e666c1389cc0a6ea2c9aa26a3b6bd856f3
results-80300-8 Expired
6.14 KB
sha256:104942f2b4b9fd8bd1b970c47b4cbbb6ea8f0d0846679d0cadd3ff8aa4be1f76
results-80300-9 Expired
6.64 KB
sha256:9f0cdad3d606c7f3b251cf4320e33e89f28e965634aa960211d4ac2623f2c163
results-80400-1 Expired
6.28 KB
sha256:b30c43ce24da9c14340caa913487a75316457e9b9b9b6875e827c1fca960d224
results-80400-10 Expired
7.83 KB
sha256:87ace1d899759e1e8b5fa16f0327ec220840a6d36d1736e1e847c5480482e53a
results-80400-11 Expired
7.58 KB
sha256:9108049044cbb918a371df2db8929a700a31c1bd7344f6aa299c39f4a061d964
results-80400-12 Expired
7.08 KB
sha256:3d3c2d27806d031c4d430ce14fe759a479d5f930e2655bba2590ef6fdbcdcd19
results-80400-13 Expired
10.6 KB
sha256:6a8786842167756a2b2875681b5ad0c4b70162043d46d38bfc781c19da11dbc3
results-80400-14 Expired
14 KB
sha256:0169903e9222c20cde6de9770feccc63f856a28f1a7ec38c1f79254906ca56da
results-80400-15 Expired
7.17 KB
sha256:46628fbb228d83aca7991da6db7d9a5cc448175cfaccb7bb6711af8d2ce36c7d
results-80400-16 Expired
7.04 KB
sha256:3631af4aaab76cacbc83d5a0b3c14391afddd8e7776cf5de5e0610b40ed7db73
results-80400-17 Expired
7.07 KB
sha256:ee45f1291b62125a0fc234866ddf6872d1c495b5e83d9df4d0cfcd3ce9b723eb
results-80400-18 Expired
7.75 KB
sha256:675d0dab16255dcd0082e30c787f324ff5be02b0aee0742da5efe7d099dc20fb
results-80400-2 Expired
7.55 KB
sha256:badc8634f3a4f72a111c27721b9c282dcbcf3a13c7603e1b7efbab0466c7a983
results-80400-3 Expired
7.8 KB
sha256:ae2d019de6e00c2ec32fa7efef3b2e89122ff175a2b302a42d479357a54f6e40
results-80400-4 Expired
6.35 KB
sha256:332586275387d011a831be88c6311a6a4d0fd35badcc7bb71548971e31021a55
results-80400-5 Expired
6.63 KB
sha256:235ba13678d0501d5ea11065da040380dcf8d9598f8732005fa3d3a943a96380
results-80400-6 Expired
7.02 KB
sha256:9de611fa179a31cdf33aa5b2b8db4ff336cdc6da7e00cd55fb0b33cfcf04fcfd
results-80400-7 Expired
7.85 KB
sha256:4e8158dfaad733a52d86f4607cb5633bf4be2f36c479bd869935fb8b8fab46c3
results-80400-8 Expired
6.14 KB
sha256:24ee6c58df4b7bfc4e8bc2cf9b85c6b033a753f702f07e67b00b038d5fa490e5
results-80400-9 Expired
6.64 KB
sha256:1450db444ee0f8f1d4406688caf63b3fd4adae4fa99996c35d962a4b24e4cae3