Skip to content

Merge pull request #1077 from hylo-lang/members-in-trait-ext #105

Merge pull request #1077 from hylo-lang/members-in-trait-ext

Merge pull request #1077 from hylo-lang/members-in-trait-ext #105

Triggered via push October 11, 2023 11:46
Status Success
Total duration 35s
Artifacts
markdown-link-check
26s
markdown-link-check
Fit to window
Zoom out
Zoom in