Check for modules that should use `prelude`

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

Sign in to view logs

Triggered via pull request October 19, 2024 23:28

kmill

opened #5779

kmill:messagedata_name

Status Success

Total duration 16s

Artifacts –

check-prelude.yml

on: pull_request