Skip to content

feat: make MessageData.ofConstName be the default coercion from Name to MessageData #5454

feat: make MessageData.ofConstName be the default coercion from Name to MessageData

feat: make MessageData.ofConstName be the default coercion from Name to MessageData #5454

Triggered via pull request October 20, 2024 02:24
Status Success
Total duration 17s
Artifacts

check-prelude.yml

on: pull_request
check-prelude
7s
check-prelude
Fit to window
Zoom out
Zoom in