Skip to content

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

Fix handling of non-Option optionals in field filtering

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

Triggered via pull request March 19, 2025 22:21
Status Success
Total duration 27m 27s
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:e4cebac7814c4393293d614fb6a8d711791d5643b342323788212539ee6f51d0
compilation-2_13_js.zip
21.7 MB
sha256:18bb5f4489f3f6a03fb129c6c7ec70ef9662f20e59b6871611e320884836a5e8
compilation-2_13_jvm.zip
15.9 MB
sha256:1109df7309cbe01e51dd23e9a794fd389446ec801c2ead767c5ce143dc668a40
compilation-3_0_js.zip
24.3 MB
sha256:d7f7903a515d57546ee467e885e4bb4e0db43b7126f2088cc6d46801adb74723
compilation-3_0_jvm.zip
17.4 MB
sha256:e10c365a55a400daaf53251f081a8366eadb99ee5b40c3fec6b7854fe37d9e43
compilation-3_0_native.zip
32 MB
sha256:fccae7e095e1252fc9160b3e2b8334a2b3e6b0c9c3414113c0bf60606a0fe9dc