Skip to content

Add record constructor to subtyping #4034

Add record constructor to subtyping

Add record constructor to subtyping #4034

Triggered via pull request August 6, 2024 13:26
Status Success
Total duration 2m 55s
Artifacts

deploy-preview.yml

on: pull_request
Fit to window
Zoom out
Zoom in