Check for copyright header

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

Sign in to view logs

Triggered via pull request October 20, 2024 02:24

kmill

synchronize #5779

kmill:messagedata_name

Status Success

Total duration 27s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files