Back to pull request #5835

feat: structure auto-completion & partial InfoTrees #6277

Sign in to view logs

Triggered via pull request November 18, 2024 12:48

mhuisi

synchronize #5835

mhuisi:mhuisi/constructor-field-completion-2

Status Success

Total duration 16s

Artifacts –

check-prelude.yml

on: pull_request