Skip to content

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

Fix handling of non-Option optionals in field filtering

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

Triggered via pull request March 20, 2025 16:01
Status Success
Total duration 25m 45s
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:956c665f5eee0d2419ccdaa246fa97f0432c90dd8a5a9946fc66319a9c2d797e
compilation-2_13_js.zip
21.7 MB
sha256:b7923d90ae41516743a619d778110f769f00acb55a7dccf124bc2331f9c76919
compilation-2_13_jvm.zip
15.9 MB
sha256:7460ce3529fef51ac4c71223cdaa0584a5e38e22201ca5940664e40e224b1bdf
compilation-3_0_js.zip
24.3 MB
sha256:f295306e9fbe80622b57f7d11222e9d1b47f5b5ab53c90a94fe5dd8fec83db22
compilation-3_0_jvm.zip
17.4 MB
sha256:6e4fbaac10ddded2b3c5dec290661c2c4b35e07293a1818a63822f71f8ad8f61
compilation-3_0_native.zip
32 MB
sha256:ce04e62faaac135930f1ff49304b2dc34e942890c51402eb9a4dd641ac2e5d6d