Skip to content

Move the two Boxes in MapType to one in BuiltinType #1503

Move the two Boxes in MapType to one in BuiltinType

Move the two Boxes in MapType to one in BuiltinType #1503

Triggered via pull request October 9, 2023 15:42
Status Success
Total duration 16m 22s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in