CN Proof

CN: Add TypeError interface file #192

Sign in to view logs

Triggered via pull request December 26, 2024 14:45

dc-mak

opened #793

dc-mak:cn-add-typeErrors-mli

Status Success

Total duration 14m 3s

Artifacts –

ci-cn.yml

on: pull_request

Matrix: build