CN Proof

CN: Make Typing depend on WellTyped #205

Sign in to view logs

Triggered via pull request December 30, 2024 00:25

dc-mak

synchronize #800

dc-mak:cn-typing-depends-welltyped

Status Success

Total duration 12m 53s

Artifacts –

ci-cn.yml

on: pull_request

Matrix: build