Skip to content

Fix completion for record dot syntax when record isn't known #6207

Fix completion for record dot syntax when record isn't known

Fix completion for record dot syntax when record isn't known #6207

Triggered via pull request June 7, 2025 16:07
Status Success
Total duration 3m 40s
Artifacts

pre-commit.yml

on: pull_request
Fit to window
Zoom out
Zoom in