Skip to content

Use template-covariant in CompositeRule #13620

Use template-covariant in CompositeRule

Use template-covariant in CompositeRule #13620

Triggered via pull request October 15, 2025 17:54
Status Success
Total duration 3m 25s
Artifacts 145

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
576 KB
sha256:9e70f4932f7ce53f7f2e8e4d3e8fc518cea52101e820811c7d7b269385fd89ba
playground-cache
542 KB
sha256:06b62e145829db468c0760b86b6c11d908062bffa1371753a49b2cf67919f7f5
results-70300-1
9.27 KB
sha256:ec686ef55363da2246255355edeeca42a2a11506110f48916f65bdb66381004f
results-70300-10
8.14 KB
sha256:661ef26617744dd4dd430ddc0059ca66b40ba5f0d1047125a077aa71e57165f1
results-70300-11
9.58 KB
sha256:f659ecede0093d6447cfb292f86bb1f42f12c100f3ab01997e8430e2f1d2fc3a
results-70300-12
10.9 KB
sha256:e3652d1d95ef36d723e71be1a83df7d449d75f22991c0938b6983fa8457ad77b
results-70300-13
8.45 KB
sha256:6f9afe800c9a1b25268e327af79ca50eb50b35800672f793a0478ca663a32184
results-70300-14
6.92 KB
sha256:06db71befa0022d6b4ef82ce9cecc4c10ed8bbe6098686d559bd78b6db99dc0a
results-70300-15
9.97 KB
sha256:6ed9bc42a576cc9bc7045f8476dd25362e97425ccfaf5cfb9374c350454c1b9f
results-70300-16
9.38 KB
sha256:cde9982153adcdf292d53c147f825ee2551885671ec55d2281fa4baa56c05c4e
results-70300-17
8.81 KB
sha256:b611cafcbcb496a76176898e920c95052ac17e07e37a0c866617734bd7a162df
results-70300-18
10.1 KB
sha256:96db7ab9d68fdbd41667b8f3c9664fe4e2ceabed19a4e88ce1c68bf39d6965d1
results-70300-2
13.9 KB
sha256:d81e10a88c0066ecb4f44547c862dd28cf81238a75b4c921781eb86659638d78
results-70300-3
7.4 KB
sha256:f2a3c75d30ba7cc38d726a233b24219505c43e174381e14f3eb67f80d0906096
results-70300-4
7.2 KB
sha256:bfb0ed7efef46d4a8f8ae13c8d4c1e5d9c557c91abbd778013423d7c8413f1ae
results-70300-5
8.37 KB
sha256:58c60d87169aac76617b4b94988d67b9adfe09e59e98a0224a1c05a2674aab4f
results-70300-6
8.73 KB
sha256:c3f457b250526282f3871568aeef091fc0d14456b8e6bc17f6b3219c79f5b03a
results-70300-7
7.49 KB
sha256:b8fcc67f3e29fcbb46c78e1d5c4c2275998d7985102c898f3840cba3c6f22e51
results-70300-8
9.34 KB
sha256:bd4078923bcf3a1a95f88309b947e17a0656b1b684f79ee297226434387c93b2
results-70300-9
8.96 KB
sha256:d1bbcc251d2edd1c740fedf1659903d4f05519af392bd5a6e78638267725096c
results-70400-1
9.14 KB
sha256:8f5f7c38e2d7e09db8ef45506e70ae0acdc0cde4665531c6470b22673a9d9548
results-70400-10
8.08 KB
sha256:f9ecb7e356034338b5ef994744f2be4bf0cd142b967048f925f4f47c778d21e6
results-70400-11
9.54 KB
sha256:9a19ff87063cc4d130cc35ba952d1e20dfce4a2e38810c1127ab8dc735def91a
results-70400-12
10.9 KB
sha256:5159a847b15617e7c950ad695fd5fd6f90119b8326f5465ec411054150f74148
results-70400-13
8.45 KB
sha256:b4d2a79201cce9097ec0de793a5e5fe923262632948f6f6235cbb94af8ec2e82
results-70400-14
6.92 KB
sha256:8ae928702c10dd5754004703a96d517dcd9adc13ee9761a25de72d985a1b12b2
results-70400-15
9.97 KB
sha256:5b27ca3bde19a32feebbf0782ebbe9465fec2b18b7a7b1e060c1797b0b88329f
results-70400-16
9.38 KB
sha256:6e4c95c3ce6f63d4e8cd34af5031292cf12141303f69564f38f0281f07950696
results-70400-17
8.81 KB
sha256:992d5ed6fed89e8cf578368f014edefabc862a2a252e4098bb0e6d52bd429dce
results-70400-18
10.1 KB
sha256:0ce6f4b836282ada6e99963e19a19639b9bf7c840a42960436784c01becf6865
results-70400-2
13.7 KB
sha256:487c4d747ecaf080490696e11e45dec109bc5e2c67e252abcb9425127d4f682f
results-70400-3
7.4 KB
sha256:778a545cb242a676d81a707cd82e44f45414a36169a0a127923cd64b4481c602
results-70400-4
7.2 KB
sha256:125363149c6e0bac2952f5ec8bbf31a3fde8a3aeb39acd369967d0a002f2389b
results-70400-5
8.37 KB
sha256:71a86c6c5f47a693a9bea735533d7f647aad439de204831a71436d7895c4d907
results-70400-6
8.66 KB
sha256:4678fd19f5550148f9cea80f32585a526e4ecb73af8bc11496a267615deee16f
results-70400-7
7.44 KB
sha256:4927085ac65bdd75d5e75bac88a89bcf1a87195bfaff7bbc848ff1ea5864cf0c
results-70400-8
9.35 KB
sha256:d58de6ece1f03510a138250a277b22c0a0f20d08144a5a789280203ba5bb668d
results-70400-9
8.96 KB
sha256:76385cd4d6f37b3ff7b538ed6c58d240a6658d3553e46e82189768beeff9b413
results-80000-1
7.07 KB
sha256:9c7e2f21db3eb07e5a4740a8eb8fadaea2cf50ec56e1e9e7f1d061b14318b2df
results-80000-10
7.52 KB
sha256:fe955e2485d91da44582e8fd283f94054231c70b575c592409c7303a78acddfe
results-80000-11
7.91 KB
sha256:7009d39f7bb2538492ed42d7d40a552b1be9726d15a925a486c59eb45c890f39
results-80000-12
8.09 KB
sha256:665a1a4b4a824b70524fe7bdefd19893e4312aec1db5438e26fa3d069ede7c64
results-80000-13
7.72 KB
sha256:af5aded8adc400183ea967583f14a5e8f9937a5fa8ab8fbb077c1263be0360f4
results-80000-14
6.78 KB
sha256:2737efdd9f379eed71de333d05a00b789f9d40d2d856e0b7b66cf100bc606503
results-80000-15
8.67 KB
sha256:1dcf5436d589b09d9580b2e1eda1b4b5b48da467d424a3b24aead3a50e092fc1
results-80000-16
7.84 KB
sha256:c36c257fb7a936b5bfd230e2b8d5a567c9c0b0142bd4e974f1dc332eb6b9108e
results-80000-17
7.52 KB
sha256:6646d2cdb7e5731e3ac88c2fd3954ae7058bef304838f35ce8ccea1e48a7a65a
results-80000-18
8.03 KB
sha256:f1fceddb1cedc6f975c07de8394c6edf12bfd3361abb1401af5bb84dfd06de71
results-80000-2
12.5 KB
sha256:18a353bb0faa7c1e9e06c36a9a8d1244f657530f9cf1e0d1a5239448c94135b6
results-80000-3
6.74 KB
sha256:e40c1321d9744588b28e1755d4a7abfc27b45f5a287714447e1c57e800037bac
results-80000-4
6.34 KB
sha256:ab7f6cf559ae2b45df19861cdf3938394eadd95c3bf10c34ce4f7ac2acd6de4a
results-80000-5
7.3 KB
sha256:38acc6d806af9e44fbf3044ee5f6295a77d7272a9c79e81363600f2884adb1ec
results-80000-6
8.26 KB
sha256:71a2e4df3f7c366b7593435b244de19d1da984c556b25a6d53e351473df9607a
results-80000-7
6.72 KB
sha256:3e698e642c9956c2dd4c0203c68b937c48af8e0355c8f2802be604331973725d
results-80000-8
7.33 KB
sha256:b1f2b541734e05ba4f3661d2cd343a1a1053ecf19af7b1680069ca13cee090fe
results-80000-9
7.89 KB
sha256:0e22fdd57f60202b05ba48a63de3de43df7974ede9c577853f5c9b8f04b18b7a
results-80100-1
7.06 KB
sha256:dc8043703780459c04d993b3acc18ea4ef92900e385b8cdcab12d5d5e5748f76
results-80100-10
8.04 KB
sha256:783764e27054dfa45e70c52c4d0d8ca9d85f8055587bf2b7c8ef189ee9c2fac0
results-80100-11
7.9 KB
sha256:4076c9f0d12bb70046f3a052c883af039f8dc9c50c002e26dfa2b28361ebc9f0
results-80100-12
7.91 KB
sha256:7fba047df5518a8db27a1c36e22a3d3da3915b66ec1010928485b86a9a42e2aa
results-80100-13
7.79 KB
sha256:8a9621a7494165296c6e69a5b16ff6b0e7e4de8280aeca579c86033aa63bf7f2
results-80100-14
6.72 KB
sha256:b229ec562fe4018e9a21ac65c0b5d949d6e20052feae613cf665fe3976927ca8
results-80100-15
9.11 KB
sha256:a396eb3e3ce8c17e2e6f876b8605f7c59dfa324a85ac491e8e67f833b021d492
results-80100-16
7.65 KB
sha256:2e49928b1442d3674a3a35ad9d79b3df797de53e9c149eba2a86e2e1a1177bd0
results-80100-17
8.53 KB
sha256:86a19d322f045d089f07be38bb8efc2010f9338e56280dc80c85a5032010cf0c
results-80100-18
7.76 KB
sha256:bbadbf79fbd6ec428e3a79e3eb687b88a0cf9641f7802629b26c0a5a57188dc8
results-80100-2
12.5 KB
sha256:808a67661f73342cae2e2e5072de6b21b15669e31aa4f77c3e2a184d3f76e883
results-80100-3
6.65 KB
sha256:ab3a942c5347df1fdd2d7e1f4384a801701033d4396578ecec6d80431ffe6816
results-80100-4
6.47 KB
sha256:b1874db33bf984629733546dcbba4a791a2ef4bcf7205418f51a99b5ac8d5802
results-80100-5
7.33 KB
sha256:63c563a9ef36bcdde63b39dd435ada252639da70faa166fa83b64b17a1b69fb1
results-80100-6
8.18 KB
sha256:1c5844de75390028eaef28b8c60ab5ec63e8a4df7b6066ad65af200c221832a6
results-80100-7
6.64 KB
sha256:bfc020afe3ea2a2e36a7527efad54c6d359bbfdcf16c9ac15abe16a4557e40b6
results-80100-8
8.15 KB
sha256:0c4e2cc3dbc2c97c2f27c7c52b182608b0937742e6549900743561edad40d789
results-80100-9
8.18 KB
sha256:b6b51581a72c87179f7b21fc50ff9ff16e2b337e2f80d51371fd092adc04dbe9
results-80200-1
7.02 KB
sha256:f143df9df9a6fe756e63b9a90a3760fd508e6479df6b68661ca54570254e5f21
results-80200-10
7.89 KB
sha256:02e7f6b6f555abc2eff88d28eaafa03056bbbdf9032e2ff341b5ee116c0e4f48
results-80200-11
7.88 KB
sha256:18a40abfa75fc94c7fd7e30204bbf7d13f85a18472cca955663797cddbf86087
results-80200-12
7.91 KB
sha256:ebe974d87fc8f3ba07ecaa5bff22f5c339caf53534f83e2f888e3e609fd32dc8
results-80200-13
7.86 KB
sha256:cafe66d2abbdf4aac3dc70aad61abd3cd5e0a32a8618b7d0a6673d325dbc1d79
results-80200-14
6.72 KB
sha256:840678d6e4c7dac66d413a2ffbeabf86c7b2164a16f4ea5e9ce9994f63888fcb
results-80200-15
8.99 KB
sha256:d79e68116785cc9a6d45827aa15c79b4fda695d5f0e28c3dc990a27859f869d1
results-80200-16
7.61 KB
sha256:8d31655b45e0b6dd820a49ff33960e0a885cfacf794ae4aad4882fe83f554183
results-80200-17
8.41 KB
sha256:4d0e2fe77c90c59a6c93fa314d30682d73874b78b05e1cc148afe089db47e85a
results-80200-18
7.85 KB
sha256:7413f37b08d784aa9dfe59b73e92c6f3e6e04ab1961e280309e50f7ec53f7731
results-80200-2
12.5 KB
sha256:189dd3bfddbd64157b24c19275bc78f6ec492b584d1890e91efd6d6e57c65e41
results-80200-3
6.73 KB
sha256:ec8c5de1780ebb695bc5060d0de5cb2ea5b85147adb53846a72b2669bac59745
results-80200-4
6.48 KB
sha256:d94fe149cce9182ccc78cd66a28de000a1e772605d8760bd22351d421a2d49d9
results-80200-5
7.29 KB
sha256:4faa2eb6b09449291eff2a0aaef49eec89ab0985feb481062b2e3273f65d11bc
results-80200-6
8.2 KB
sha256:0cfa38d9431f6743699d5251f3f5f2419a0e7f66bc0c0b59028d16ce2bdb2d35
results-80200-7
6.63 KB
sha256:9f6442860da09dbe4c614273c9e68a91276dd023d74575e13249b538567276c2
results-80200-8
7.85 KB
sha256:8e1fc6f7345868103a81df34ca659ed5e4b09c0b2dbe5aa0056be83e171c8563
results-80200-9
8.06 KB
sha256:68a04e302bb4448806da443766b3dd42c68baf7c3cda88d2ab44e199533afb98
results-80300-1
6.93 KB
sha256:2f546374f76bf2f858b6bd605796d158c3a341b5ffbf58582b5a5af756595516
results-80300-10
7.89 KB
sha256:de06b8d157737a8aad2a7d05a435b1cc7b34af751fb062a31e8129c8683cac67
results-80300-11
7.75 KB
sha256:d337f626217a5d8c9511c68db7f0cf3cd755f1c6322f45756e0a2723208f3ba5
results-80300-12
7.93 KB
sha256:c9c1c702f53c6c11f2358b65968e9ec251127b8f7cacae1f8fa55de1bd7643c7
results-80300-13
7.86 KB
sha256:6c1771fd513293b7da70b9c0207bebc0782bc5dbd694c03cabe58f531103f965
results-80300-14
6.72 KB
sha256:bd7da7e11138c60f398f74904b8579f787ef796a43a80913a8250d0a4bea1e95
results-80300-15
8.92 KB
sha256:cd60942e67f2c510ec75054047957ff298e66aabd44772cf6d58ae4a1069b8aa
results-80300-16
7.54 KB
sha256:6629f3d380ea452b8560572816cc9a4292e22954d8c2b4bcc8d7869ca63733a8
results-80300-17
8.26 KB
sha256:a4307d6039e7b971a0608e71f06a016f32c7cc2d2a51c5657ecfa46dfc49c047
results-80300-18
7.75 KB
sha256:455cf17dab4e8c64e4615b55706a17e4341eeb3afec000de193fb75dff869429
results-80300-2
12.4 KB
sha256:32533f93e4ffd91da5458024e69ca37bad918890713bb843719580f5c0951da4
results-80300-3
6.73 KB
sha256:241527b96a9cb6e2c60ed3f9bc9c204cb87afadb7d9cd3d6db6c65d29e028334
results-80300-4
6.48 KB
sha256:71411c8d227df013252d9df66c8c69341ef1011efda6da36f1495a91da780312
results-80300-5
7.29 KB
sha256:2a1636f2387646c0103ab313ae6e00183b4a8b1167d861acedac3a4438328c30
results-80300-6
8.2 KB
sha256:a7f4a5421b64126b6f85b9cba4de7e49e17bd0577b7fd65a5a4ae3b6aa1ccec2
results-80300-7
6.63 KB
sha256:06ab2e101c5d15ed1702acc6192073009323e795373a2aa47ec698d84f4bd324
results-80300-8
7.85 KB
sha256:b8a48cd878c1105715b56745bb436ce8f34b6b79647789443129c8311cc6fdc6
results-80300-9
7.98 KB
sha256:4962a1e79a0e3615b1d821a3e726b4294dc16b3fcf2c8dcb0c586123bc0644ad
results-80400-1
6.88 KB
sha256:2b947ffd879f30064143c6f8351c4397e1a839ed21c66fd453bb7625148d8fad
results-80400-10
7.89 KB
sha256:a61147ed45eb20e7914f23b44302ddc024afbea0141fa13476a947c256454c7d
results-80400-11
7.73 KB
sha256:2f8246876a95180b04519724ce6d4fb932f695c7d4e10ee3456287fee8d4d2ac
results-80400-12
8.05 KB
sha256:92ec94c636022aba6a006a7c93be412c34f2cc491457f2b7e0110f2e1b8513e6
results-80400-13
7.86 KB
sha256:13aec75bb5f398f3bbda399aa1025f2e31e5cf9180e8ea66b57cf1c7cfae8c9f
results-80400-14
6.67 KB
sha256:b300963025ce1d1e89379b698a0b67e2d7ce209f5e683056e9e95ce3c949969b
results-80400-15
8.89 KB
sha256:cb6b13ba70a679fde948ec75f725234276357ace5c60c07a82d2ffeb1ba13048
results-80400-16
7.49 KB
sha256:a47a359cc4b66fd92f6daccbfa833590ea7fe337d51724938c784d8fae8bc816
results-80400-17
8.13 KB
sha256:07b9c30805dbd90e1f0b56ec325231983c4717ebf3e55dadfde83b2b5b1caaff
results-80400-18
7.55 KB
sha256:4648ec6b9efd0935ee3041704fc1842f7743e8f7fa6540af3b45a39db3de5095
results-80400-2
12.4 KB
sha256:998d3a30b0553c9cb046310b3e643a7ba4fd8017f871f82442b1676d60353fa1
results-80400-3
6.8 KB
sha256:374eb58173f1dc998410ed4c2fc655a557d172549ce4836a31a9f3f049ee292d
results-80400-4
6.47 KB
sha256:e936b516bc0a571859ec63d2853f610636539c7a1132f91044b1e4a00990aabc
results-80400-5
7.29 KB
sha256:59acf0c496142df62e8cee94cd62c16812c6c7f9b98ded8652956dea773f7509
results-80400-6
8.2 KB
sha256:4a4a66dcda590077740a1e3a19747fcbd67b384abbe1bd4958609b73df7b759e
results-80400-7
6.63 KB
sha256:dfe34a33becbb1f85c66b1f00e61c112dfb74649a1ab7aef56d3ae94f6d01646
results-80400-8
7.82 KB
sha256:082aec1392163dc19906adf3b2c07d518e969550233faabab5c8fd882d57be04
results-80400-9
7.98 KB
sha256:2998d736fae6510a4b686ed93a8fcd54939b0a501aa12d99a5aa41e9cdd50f94
results-80500-1
1.16 KB
sha256:54d5e86c63d221a513881339fd00c3b03d83ea868c52b7e2bdc5ed422f1c6170
results-80500-10
1.04 KB
sha256:5f76c82cfbb3858e7b04ab5ea75c631ea09f8313685b893261240997f79b71b2
results-80500-11
793 Bytes
sha256:b5b5c9c3194a175cbc8f4e1dca192444ef8f65f502281a7aeac99ee661b38658
results-80500-12
920 Bytes
sha256:d64065481af0d4f1897c857e18e395fbfc3e6a2ba83f76880817f9b72d6a0761
results-80500-13
1.08 KB
sha256:0b9afc683c78059671f92b518d3d6883662844208edaf16b4abf2eaa8b3d9364
results-80500-14
1.06 KB
sha256:12bb81e0dab5e314b1476b2c98efba34945e4e19065ef87a85651c1278881618
results-80500-15
1.32 KB
sha256:a83fa1e44f5bb4a118ad1883d430b26a440eac7421cc8a2423a3ecb8fabaf192
results-80500-16
934 Bytes
sha256:9cf2a21aae8fd6e42077b5d0491c3036065d04ce41cf610b15018f7f1167793e
results-80500-17
679 Bytes
sha256:8dc4a8e46f4ec3d3ec4cd32b08c4188ae758208c3bc4e109714ec4db1626bc79
results-80500-2
1023 Bytes
sha256:55de50d1285ba18fd1b573017e4c75c3e6d32b9a277b99f02cf4812a2ab84dcd
results-80500-3
852 Bytes
sha256:81a6f5d015cb610a4a5ecfcc93c1bd287087862a5f4539c814c07da5f365d2b2
results-80500-4
984 Bytes
sha256:a0dc055b52f59607e385f6985c61b919853573f29fe1218e0d44dc23cfdd45e8
results-80500-5
1.05 KB
sha256:7582a530498d7982f71493eecf077f679ef463a01ff63ca2fe239abc443cd908
results-80500-6
972 Bytes
sha256:bc94f6f267883195df50707afd324db321674499c2c76ac34f4f7b11567ae035
results-80500-7
1.34 KB
sha256:f964660d92d2928c43ddf5e0bdcf4adf0de16bc8bc4ceef21a3236a0a9de0980
results-80500-8
1.11 KB
sha256:15605c9ad097e8680efaecdd8b49793adb13061d555d2001c8b0cb5c2dcefc8c
results-80500-9
1.29 KB
sha256:fe38d1ab43936b26aec3835017d476f286cf4dd5ca826215c215714f4ea68414