Add record constructor to subtyping #4046

Sign in to view logs

Summary
Jobs
- deploy
Run details
- Usage
- Workflow file

Triggered via pull request August 7, 2024 14:33

Eckaos

synchronize #2007

Eckaos:subtyping/record_constructor

Status Success

Total duration 2m 55s

Artifacts –

deploy-preview.yml

on: pull_request

deploy / deploy