Skip to content

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

Fix handling of non-Option optionals in field filtering

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

Triggered via pull request March 19, 2025 21:09
Status Success
Total duration 26m 51s
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:af8795d10f43c52fb9892158c4233b43fe68972d0a8b2e107ea6fc79f7dd7f3b
compilation-2_13_js.zip
21.7 MB
sha256:3828fc80a13e39b9b2196a4070d63d526bcb9b0f4015969845e523e40457bb14
compilation-2_13_jvm.zip
15.9 MB
sha256:7a513462debf6df18fafc4f042bbab14324856d81cfea8b6490f193ad381ac1b
compilation-3_0_js.zip
24.3 MB
sha256:85e43272f82b842177e83c9d96b77a127d843a792b6dd1fd286f4dfcc52c2b59
compilation-3_0_jvm.zip
17.3 MB
sha256:6d45a3b70022d17d83e4661245df7a48dd545bf76ee1202450241faf22557721
compilation-3_0_native.zip
31.9 MB
sha256:e781959ba1fb77cd9502dd0e924c82c77a949be7bb48595f3b987fd343b737f9