CN Proof

CN: Make Typing depend on WellTyped #203

Sign in to view logs

Triggered via pull request December 29, 2024 23:03

dc-mak

opened #800

dc-mak:cn-typing-depends-welltyped

Status Failure

Total duration 3m 46s

Artifacts –

ci-cn.yml

on: pull_request

Matrix: build

Annotations

1 error

build (4.14.1)

Process completed with exit code 1.