Skip to content
CN Proof

CN: Separate well-typed and consistency checks #199

Sign in to view logs

CN: Separate well-typed and consistency checks

CN: Separate well-typed and consistency checks #199

Triggered via push December 27, 2024 21:39
@dc-makdc-mak
pushed 2ac0695
master
Status Success
Total duration 12m 4s
Artifacts –

ci-cn.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in