Skip to content

Add dependent defaults for the new typechecker #5812

Add dependent defaults for the new typechecker

Add dependent defaults for the new typechecker #5812

Triggered via pull request November 29, 2023 12:40
Status Cancelled
Total duration 3m 44s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build-and-test-macos
The operation was canceled.
build-and-test-linux
The operation was canceled.