Skip to content

WIP: Use Structured Diagnostics for Typed Holes #13548

WIP: Use Structured Diagnostics for Typed Holes

WIP: Use Structured Diagnostics for Typed Holes #13548

Triggered via pull request August 19, 2025 23:59
Status Success
Total duration 1m 36s
Artifacts

nix.yml

on: pull_request
pre_job
7s
pre_job
Matrix: develop
nix_post_job
4s
nix_post_job
Fit to window
Zoom out
Zoom in