Skip to content

Fix handling of non-Option optionals in field filtering #4983

Fix handling of non-Option optionals in field filtering

Fix handling of non-Option optionals in field filtering #4983

Triggered via pull request March 19, 2025 22:51
Status Success
Total duration 31m 25s
Artifacts 6

ci.yml

on: pull_request
Matrix: build
Publish Docs Microsite
0s
Publish Docs Microsite
build-success-checkpoint
0s
build-success-checkpoint
Release
0s
Release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
compilation-2_12_jvm.zip
14.7 MB
sha256:830561563621034cfcd98ccda9a629166e1b8b7eca225ec457d338c9a9979a8d
compilation-2_13_js.zip
21.7 MB
sha256:88b9e089cd8af9942baa22c8be2e544dabff7ac4dfb8074ab17eef560690bf4b
compilation-2_13_jvm.zip
15.9 MB
sha256:f92e37c199980e46da80a8169ab1fab1146edd3db5ad83fdef96f0387797294a
compilation-3_0_js.zip
24.3 MB
sha256:2b90d662904882399f1cd597473a1675abe64c504f0cf8295483ac68b0add5b8
compilation-3_0_jvm.zip
17.4 MB
sha256:da495260fbf70ee27c51b78941661616b4e4ab0f8a11cf8d2436d4dda33dc9af
compilation-3_0_native.zip
32 MB
sha256:3972c7a3e4fdfb06b5594b2e22f76faa7ca815de6f883088f6c036ade6dc86d5