Skip to content

CN: Make Typing depend on WellTyped #1783

CN: Make Typing depend on WellTyped

CN: Make Typing depend on WellTyped #1783

Triggered via pull request December 30, 2024 00:25
Status Success
Total duration 2m 4s
Artifacts

ci.yml

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