Skip to content
Kind2 CI

Add --lus_main_type flag and give info about type declarations in LSP info #1484

Sign in to view logs

Add --lus_main_type flag and give info about type declarations in LSP info

Add --lus_main_type flag and give info about type declarations in LSP info #1484

Triggered via pull request June 17, 2024 16:33
@lorchroblorchrob
synchronize #1075
lorchrob:lsp-ref-type-info
Status Success
Total duration 10m 44s
Artifacts –

kind2-ci.yml

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

Annotations

1 warning
kind2-build (macos-12)
These files were overwritten during the `brew link` step: