Skip to content

More precise constant variants of BooleanType #9805

More precise constant variants of BooleanType

More precise constant variants of BooleanType #9805

Triggered via pull request January 11, 2025 10:31
Status Success
Total duration 4m 2s
Artifacts 146

issue-bot.yml

on: pull_request
Download data
19s
Download data
Matrix: Analyse
Evaluate results
27s
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:9a26cd3f4b720ef2cb26fadd9a6fd6a38e338b95a45178449b88502daefc1e18
playground-cache Expired
476 KB
sha256:d32014b8464de889ed4611c4b44a9213e2ea46171a5443e505a4a295159043bc
results-70200-1 Expired
6.81 KB
sha256:62f8bee9dabd9a324a6c28e642c94b939049ada154b54f4d6b0fe5ee542380e0
results-70200-10 Expired
10.5 KB
sha256:16f9c0d44fae8afc55c35f4ba48d69ad763b03abae25af6e4af3d7c79cf1bdf6
results-70200-11 Expired
8.78 KB
sha256:0bd231317727d9100045f2c03e23f7dd71b702f84c00267f91002536e970811d
results-70200-12 Expired
7.78 KB
sha256:452587d64eefc0fe090558d8c92397cffee920218a33d7b1e16dec95d6233d6b
results-70200-13 Expired
12.1 KB
sha256:81fe6c6e9de42a8e112b451579d1d056c574724d97a21a335b649a69fd07c0c0
results-70200-14 Expired
14.3 KB
sha256:76ce5b2688f0e85f56a60b3b3725320ed130fdb0fea70bffb71f87be76080543
results-70200-15 Expired
8.28 KB
sha256:e6bc8718d37402d2794bd75631f239fecdf75bb1acf671ad61faba7506135917
results-70200-16 Expired
8.05 KB
sha256:c1c010d3fd7b5476cb31d58cb9ec6df3fd74b43f5e5d3b1a2873fe1bfa888746
results-70200-17 Expired
8.94 KB
sha256:d9d728e78c7a5b1f2727a8a6bdcc70ad50d92083b5c1cefcb17f653cb1fb2879
results-70200-18 Expired
8.2 KB
sha256:5123a73cfea5be0a7e03743d8d72c50947cf0409f54764f699bbed2ecbc33cff
results-70200-2 Expired
8.2 KB
sha256:2a890bb6b3ce629151ae2e38aa014e80c01f3db6291b2b26a024ef23778b296b
results-70200-3 Expired
8.49 KB
sha256:d63ff1b3101bc3b41dd406059723ba10d18701ade460ad749175a821f22e1793
results-70200-4 Expired
6.91 KB
sha256:292cc3d3ea9cc8b323d79e953f723b66e4013e5f3460a3859614d1b3749b3fbb
results-70200-5 Expired
8.14 KB
sha256:44571a398f8e39410e5b6db8a3e46f9c1267aecbd75076ce8d1d0642a6bfe67a
results-70200-6 Expired
9.23 KB
sha256:86f30a42b2d6fd53258bdc6c8830a24268b0614ab93d3502b4a78b81db8cb106
results-70200-7 Expired
9.06 KB
sha256:fc61be1e3a4a3d671c7f50d835a618b4a7337b41cdb7139bf861ce6f33b97d8b
results-70200-8 Expired
6.89 KB
sha256:b52e525d59e384a2c512f0c0c786382239f60605d8a4d72439c7a40cf50e0d0a
results-70200-9 Expired
7.04 KB
sha256:fed9de01d8391e92aaaf3ec8d952504c5e883f2fd9d34c884590f4b7be9ce3b0
results-70300-1 Expired
6.81 KB
sha256:391609e24055328f76cf73b230e208ee414032e224077ef363ad221c93e3407b
results-70300-10 Expired
10.5 KB
sha256:9028ce4ee02458155e40cfa20544d6cd10e981429cfad26879a5ecee17ecd92f
results-70300-11 Expired
8.78 KB
sha256:3312d14847d9d260bc86dcddca5c9a19e0401ed68b3bc91d086732e0e403ecc2
results-70300-12 Expired
7.78 KB
sha256:a4e542b6527194afff800b1479daed5397a0f64781f18e5d52141bcb4a48b292
results-70300-13 Expired
12 KB
sha256:df4f5cb23c6b24aa8cf2d3b4bb9d32f53c90367388b2e4f50109dcb08c85b260
results-70300-14 Expired
14.3 KB
sha256:baad32ae278d9fcb0dd67f2ff4c58a16144cf508f8e8fdb55626a2141c911b25
results-70300-15 Expired
8.25 KB
sha256:feeeb7fae3a594bfc8996e033a4c533332fa0e0271c98360613bb84150e14e95
results-70300-16 Expired
8.01 KB
sha256:c3103fff4183d08df19b95a604ca9e467bb548d5e308fbbc9ac77c3a89167bdb
results-70300-17 Expired
8.94 KB
sha256:2107888ad71b8de9ab87c3504365213ba338aebc94284c198a48ceabcb0cc955
results-70300-18 Expired
8.18 KB
sha256:194dfdb4ad8ffe2c3a3303290e90a7472a994ae7cf81cbdd5409e495366a0fd9
results-70300-2 Expired
8.2 KB
sha256:91ebeb222ecc294d8783262dba68857ef867e282d207b20e524c6e48869cfa36
results-70300-3 Expired
8.45 KB
sha256:0f9da979496dbfa2b4d8ba3484f678fa4e5d26a6bb562802142df1253fda9273
results-70300-4 Expired
6.91 KB
sha256:30bdb47ce968c5df20002a9f9d6f5309923118f963490063c8ae62a222de4ef1
results-70300-5 Expired
8.08 KB
sha256:78750cd65546f61c18d87251e97d242092def16895549816f8fdc259031cb1e2
results-70300-6 Expired
9.23 KB
sha256:6ec7508f38fd132b6bc0d1ec994d7eeb7d873e033138d6869539a76e242ea79d
results-70300-7 Expired
9.06 KB
sha256:941ad87a1864dde7c416574f8f3337ed22c514e93def4b1ad9ec6bce53ebefff
results-70300-8 Expired
6.89 KB
sha256:e5b2a0b75affd6c6a3466fa4d721527a27dc7f6404a7bb05dd065fa39a58d1d1
results-70300-9 Expired
7.04 KB
sha256:2302e00fd0b3db6fc82f3029408f9300a057dd68596e249eabc54d8f6b4e1406
results-70400-1 Expired
6.81 KB
sha256:7e721996820954bffaaa65197336ddfded2321b25d37eb8fc56dcfeb281ff035
results-70400-10 Expired
10.4 KB
sha256:5df5c09f20cb0bf904b020ab5bf1b798b298da40d9179b2c4a12b8bc56bb17b8
results-70400-11 Expired
8.78 KB
sha256:8ce92dfd91aa3a495d799ebf26496ce94babe302468e4841e829309f2190e15d
results-70400-12 Expired
7.75 KB
sha256:3442ea3cd65b49f42f29641a21a37c13e7a94b05612daf23d2fab902e7b572f2
results-70400-13 Expired
12 KB
sha256:715fe5f37a480b75527f1f4e9a5907cf39fd956d4ca6e31aede1471caad11114
results-70400-14 Expired
14.3 KB
sha256:fd325a3dedbb23448083d9be3dd8cc2fa7c1905fe1deffb7a44685dc05fb9d6c
results-70400-15 Expired
8.14 KB
sha256:01a95a62e71b2ceddcbed66d8b6f6cf7143fdb1dc0b4bf37d32c3bb076388c1e
results-70400-16 Expired
7.78 KB
sha256:cbfbb6f6f5ebface41daccba704329c84380ae1b7cd2b71571182ee2f557064a
results-70400-17 Expired
8.87 KB
sha256:8394b4ae7c66171b9740da83727ec33ef6d126888ef38d87ba408fab13d12fe0
results-70400-18 Expired
8.19 KB
sha256:76d0d58c49096cc9e985bf89672f0336671d2e42390d4a7b27420ce049166a77
results-70400-2 Expired
8.2 KB
sha256:867bb7fc043d6dc9595bb358b090c20fa0d374d58404cac970db80b325141d37
results-70400-3 Expired
8.45 KB
sha256:39c6d007797677990c99d05b08ba59316a450aa81088756acff79df73d75057d
results-70400-4 Expired
6.84 KB
sha256:ffede06831d228d6c7472c4510bee3f7d2c49727dd259439e54852da2caead8a
results-70400-5 Expired
8.09 KB
sha256:50b2b084aac414f74105df910fd72bd9e0dcc664270e480d76c01e3096cda554
results-70400-6 Expired
9.24 KB
sha256:74af5b8e6baabd8ea4c9f777762571f3e75abf4172047ec6a7abcc8d254c1e9f
results-70400-7 Expired
9.06 KB
sha256:c2d12ca95f527b9d84be2b8b81e2779f8966ae9f08d6ca9bd7c0ecc8a9753e57
results-70400-8 Expired
6.89 KB
sha256:100d24e9c0068a89429c3fad235e3632972b88d6a03e96faba063793783d9aaa
results-70400-9 Expired
7.04 KB
sha256:f8a9060f1dfe41d45cf02e59365495443d0f951bf10923bc58d864d05032aa84
results-80000-1 Expired
6.16 KB
sha256:57b26397e048a61b3cb7eb0a048fe1681628a3eadb2c36c827faea7f4f2d41ae
results-80000-10 Expired
7.79 KB
sha256:8c6c159ce9b46ed85fa32a4b94e1b1ab52e719f8de64a68e6847fd4e87d5b6c6
results-80000-11 Expired
7.72 KB
sha256:5e8f07e92c8645be1bf8e52f82417312f73b42f492e61d8f73dbd2535337b2ae
results-80000-12 Expired
7.31 KB
sha256:e76fcfac6d708fa39cce729c7fdfdf44758d2b342096a513ac2af62cb3354dc9
results-80000-13 Expired
10.6 KB
sha256:3ad5411aea77f49ac1f7ee3255e72b65ee942ab3c81860b54c89a0beeb4720d9
results-80000-14 Expired
13.5 KB
sha256:445dbfa93bbf0a0142c7b337d95c2912765d64d07a175a2944d140bf21ac5535
results-80000-15 Expired
7.44 KB
sha256:5f5257e8619702f03aff14733ef320919f1957d7eebe912cef5ff6bb30abacbb
results-80000-16 Expired
7.03 KB
sha256:ab246cbcde58416c26812c76c3568f86a85932bfb0a576c359f2610069e6b850
results-80000-17 Expired
7.33 KB
sha256:763db3e423351123220e1e359e9c61bd863047f07fa9c1bdb70f6471b3d32038
results-80000-18 Expired
7.05 KB
sha256:1e0e0072d32c5815c365e1e89f02578556daab58cf0ff73b411daa8bd56996fd
results-80000-2 Expired
7.33 KB
sha256:e6881bd7985aa0263927887dda25f7fd8a7b3b54f5796d5209213b214312bb43
results-80000-3 Expired
7.95 KB
sha256:85860cb5f54632cd7d32743fbaa6e61a11ff64057b73c25603969c479367969c
results-80000-4 Expired
6.49 KB
sha256:de54838d01cab5544ecd20770bffcd98c09aea46fe7b49a985fd342ae030fb3f
results-80000-5 Expired
6.96 KB
sha256:fb358b611298ddaa019714eaadf2b65ed00f58e6b7f75ed2bccd1f804282eec2
results-80000-6 Expired
7 KB
sha256:c90d1188811eb79089dd95957872c717326ebf46ac082cc634369ce7c6e7509f
results-80000-7 Expired
7.82 KB
sha256:8157d67c801206c6a92403f1737362b4c88a559682956be692209b76a4978581
results-80000-8 Expired
6.38 KB
sha256:d8bf0dc21fb83917af8f2aad36bf29a0b75b3add2fa79ba3782f3b0ff8265afc
results-80000-9 Expired
6.46 KB
sha256:85f15b9881565abebd7c15bddca51dfab6153d35a95568cb0c0b2351cd96e067
results-80100-1 Expired
6.25 KB
sha256:317239cc20a1a2f33f3ccf63c107124c8a8498379ada9b45d322af4c7919d69b
results-80100-10 Expired
7.74 KB
sha256:eddc925b6520dfa71670bd59acac842bf4424be01f0f72b356bd1c9fe19265ab
results-80100-11 Expired
7.64 KB
sha256:9ba14cff268d578c7a380f1a2f6ef5a1b68b684b83672024845299d14e713214
results-80100-12 Expired
7.67 KB
sha256:0847af457a188ffcdb51122791dd596fd4b29b96abe93888790b5db2dfec31eb
results-80100-13 Expired
10.7 KB
sha256:30cc9192daa26be963ccef053b5aa7deea185bb9891168388efa2fe4c0f5c4f0
results-80100-14 Expired
13.7 KB
sha256:8a052ca5b64ed63f89619fccf4db9c085d03d1e043f0446d2c91072cb35f2e9a
results-80100-15 Expired
7.42 KB
sha256:5f6072c69963975c4dd21d44753c0d95b38e926c8f2be1d29f978330d1801eff
results-80100-16 Expired
7.28 KB
sha256:25e0a7e2a26d2b397e50880d763013d0a28ac6b4b1bd616074388b7b709cee92
results-80100-17 Expired
7.27 KB
sha256:5d787cce429ddc5a531fa25bfb6869978972cb964b5f8b297cb26745155c0cd4
results-80100-18 Expired
7.5 KB
sha256:358b343fd52eaf615c3b090a51e277ea41636c24b4ba40487a5713d44d2fb7e2
results-80100-2 Expired
7.37 KB
sha256:b2b4d1d41766f503399fd7edec6eaeada91c45ce394c143c34c9ab8f93d9146c
results-80100-3 Expired
7.87 KB
sha256:9c6ab667eab4d25d9cda6426c32cb00ea70047995ba832ce19dbc61572559990
results-80100-4 Expired
6.39 KB
sha256:a9f3ae6530886a9e5baa1e04c32137718c5a83465de7802fcdbd80ea69e5aff0
results-80100-5 Expired
6.97 KB
sha256:aec15026ed575378f2b09166cbe396c3e2cae37a69d46dd17bc95b57f8987e8d
results-80100-6 Expired
6.8 KB
sha256:a731c5a4316b7d12f6abe08789def3dd0f0f7351217e74172aa1543f2351116b
results-80100-7 Expired
7.78 KB
sha256:55a1be5496947219b29dda1fa385063ee364c45050523cc3e272b624801aa34c
results-80100-8 Expired
6.38 KB
sha256:45a2d21461932ab525e6194bbd8f242a22934153d4c59e94a72efeee535eefbd
results-80100-9 Expired
6.62 KB
sha256:1d4d10da09b58e2d01a204d6337e1b2f1514fa162c1b7150afe006af9ffb3e39
results-80200-1 Expired
6.29 KB
sha256:d281a3cfcfa8d6ff0c1b7686c4c078fddef704acdb812803b0f3ceac5079d833
results-80200-10 Expired
7.82 KB
sha256:5e02f8a3106f794f896959987a1ab8831fc8e926804a6429c044992ba2b2684a
results-80200-11 Expired
7.64 KB
sha256:64653053f87c6065d8be2e043ba569c480a24a94149b75c05354e5b4e75292a8
results-80200-12 Expired
7.57 KB
sha256:c01a8f81d2b492b637b95da95fdd44897df806709211e7dca1bf97e4c28ab08b
results-80200-13 Expired
10.7 KB
sha256:137bb45eaf5139922ec9fe0f74e37e7aaea6b30caa1c106a19c4bfc2a41b2edc
results-80200-14 Expired
13.6 KB
sha256:467fd166a1bd34a093be1a081fc3d2f7c82403108248efcfd4060251def3878b
results-80200-15 Expired
7.34 KB
sha256:bb194ae6ff9859a8d3cd2ef5cf193a831befa5efb71a3b8fc4bc27661e01d531
results-80200-16 Expired
7.15 KB
sha256:a267aae94481af0bee468fd9383d33d35bb0681e28700d59066cf8d645d874c9
results-80200-17 Expired
7 KB
sha256:0e7044d0b2d0b0440bd5742ea035b8d84b84ca9e1add64bc59ab0a26c31ec889
results-80200-18 Expired
7.38 KB
sha256:277eed4e92561ed462cc5ec48f95c6e7ac0d6e80db60aef11a38307df201b35f
results-80200-2 Expired
7.39 KB
sha256:8a0400158e8132a51d7edb5e93374a8cc83a6ecc4717c55671f58b682890cbf2
results-80200-3 Expired
7.91 KB
sha256:ef14ec531821d850c64b76878c1091bc56788d79171019523a109ea9f143660f
results-80200-4 Expired
6.39 KB
sha256:8515fd074bf141df10cb29d1994e732ec9c73ba21c4de78924118ae2b989b5c7
results-80200-5 Expired
6.94 KB
sha256:cd05038331c1fd83927069087bfe7f792ed126f9ca681cb642e7a5d0bfd15f74
results-80200-6 Expired
6.8 KB
sha256:ac715ccb6fea6ee9868ac135807f679f2152de64e7315440b92fe51aeae590f1
results-80200-7 Expired
7.79 KB
sha256:e7bc0026d41113e58dac3c602346d6ef0935dc63a6040957b1352a4ec2843e9f
results-80200-8 Expired
6.38 KB
sha256:2449edf9395fac48407aec5670e10f989fb93a9ca6ed0ede8cdbf32a9cb0759c
results-80200-9 Expired
6.62 KB
sha256:29ce4a16cfa7d4a2037a249dd8ac11232a92fbbf37e3fec756ca0c490690e380
results-80300-1 Expired
6.29 KB
sha256:873f2565d85664bec5ae50a1e74be873837b0e79c1d8f8977463a1c91815993c
results-80300-10 Expired
7.82 KB
sha256:1186d5c56b8d043a5e236072d193e5f494c8f612044152acb2372d5d0e9c3328
results-80300-11 Expired
7.64 KB
sha256:a2a9fcac8fd908763a3d05dc67bb448c3fdc628be66a35f6f68e89e37b377dcd
results-80300-12 Expired
7.57 KB
sha256:9a61d5be3b89edbad842e4e1ef5febf837dfbbb688ffb5615a5e0bdc9f2a699f
results-80300-13 Expired
10.7 KB
sha256:2de9362c658a1312f10a30449b4b2da7ec78ab47da995ab85115667064b30e43
results-80300-14 Expired
13.5 KB
sha256:1e63acecb2378230c4565df13620f43d317738ab9b02afc8b819ed00664d0f77
results-80300-15 Expired
7.25 KB
sha256:c06d5d31db2fedf38fb9e5174c2fb494a90cedce848dd49d7888c4a5122de9a3
results-80300-16 Expired
7.15 KB
sha256:b51419c3e55737d81dc702cdcb4770145e880c59145f152eebaccb3f33f9ef84
results-80300-17 Expired
6.94 KB
sha256:7b7487ab003a175dc69696a29b63633029815f1a2bf45383950f0a5110eed3df
results-80300-18 Expired
7.38 KB
sha256:0d26f383d7dbc1bb6cca16743ebb0be77e55bc336004f1e4f47958b4b06b6b99
results-80300-2 Expired
7.39 KB
sha256:f010dced57cb1bfb49a571199902be5763710734d8fd0af7cf9f1c50f6560430
results-80300-3 Expired
7.91 KB
sha256:f5f15e343409a546401a57a9e528a6baa863e013e24d1fe63995ff18a4b1dd38
results-80300-4 Expired
6.39 KB
sha256:5f4ad80e978a81ac17fcf55c8cd7ec77eff97d22f14ffd8008c2ba80f4bc257a
results-80300-5 Expired
6.96 KB
sha256:8e329d653f5f5ba7077a88948262c94e8829b73cc923a507379c048a537bd027
results-80300-6 Expired
6.8 KB
sha256:2cbbd6fb0dadcc4a4d6c7642080181f86bd21a717d7c1415719be8363054f0d2
results-80300-7 Expired
7.79 KB
sha256:9a1b96a56c09f84668ef45dff00e82f82eaa1551ca51f8b62556dd1122df9f83
results-80300-8 Expired
6.38 KB
sha256:932a0cb95a9bed6fe326c737e98d0e53d95ce5d24432699aa21fe8fb80016673
results-80300-9 Expired
6.62 KB
sha256:98b6e6f7d45e2d9910ddfe595a8497e85c595e4086529b155648d27bef54008a
results-80400-1 Expired
6.29 KB
sha256:4e110e9b30407cac1df3d2b2119a6368745e7dbe2e9afd4ab6e6f46da3267c9e
results-80400-10 Expired
7.82 KB
sha256:6ac4e24e1c002cc992fcbe1134cbb3abf97a44c63c438e22ecd36e6a5f125a59
results-80400-11 Expired
7.69 KB
sha256:ea465d5cca4cfcf801ef746806102c63bcb48a215e51f9d307e22cca7aa97ba1
results-80400-12 Expired
7.57 KB
sha256:c025f9fc222e6da7fb4a952796a9119b99d7cd1bb258fe8533ccbc91f5fea130
results-80400-13 Expired
10.7 KB
sha256:2482bf38bd9d63492c27943fe408f8d07bbb10cb01b94e892cac386bc273a62f
results-80400-14 Expired
13.5 KB
sha256:608fdda1a909a34a0a891aee9cf3f1b45ad3637e613f1e8e09118478df1e74e1
results-80400-15 Expired
7.25 KB
sha256:1de8f8bd99c082006480791aec27562f534aaeeca5ff31f0a141fb7373868510
results-80400-16 Expired
7.15 KB
sha256:0fc8d039b757d758458015113396896892469d2dfb80e87f89668a95c8deabda
results-80400-17 Expired
6.94 KB
sha256:323a2de2e247a60611d39ade82a9277f5c6b6a615dad116d9bac85bc45e2636f
results-80400-18 Expired
7.3 KB
sha256:8a88c3b064c538574f9eca6602dd961ea3a98446d62e8a1195f4f179a5e6e263
results-80400-2 Expired
7.38 KB
sha256:8c6f746c2e9966df6012dbee0fcb0752fbff6f70a8751f087904eca2ed3ac284
results-80400-3 Expired
7.91 KB
sha256:61e6cb378a22cbe34f39cb759fe8ec8b4999b79358e45749f48e17601a4db5cc
results-80400-4 Expired
6.39 KB
sha256:45e9851af19ab7b5740db08d53525525b531d637b311390090c3031f465272f3
results-80400-5 Expired
6.91 KB
sha256:59aae1140bc885c5b60d69418830b64f0e9b8a41443b38ec622011b900e4f27a
results-80400-6 Expired
6.88 KB
sha256:d7d369e902c661589677057f0589a752e12f117732fbf67ea146df63f4d6996f
results-80400-7 Expired
7.88 KB
sha256:7f2da00ba29e71aab5c799203dae492559ee5aeb290a62b750f0c6c117a6752a
results-80400-8 Expired
6.38 KB
sha256:cea7f7ecb0da66cd3d8ef44bb7825739b133e4d0a442d052e52927bbf4481460
results-80400-9 Expired
6.62 KB
sha256:d66c7514b3f58743b6e4a5a9a510cb4670875f567d6829aa5119a85f41769005