Skip to content
Regenerate Documentation

Only update the infoview on diagnostics in Lean buffers. #246

Sign in to view logs

Only update the infoview on diagnostics in Lean buffers.

Only update the infoview on diagnostics in Lean buffers. #246

Triggered via push February 26, 2025 20:12
@JulianJulian
pushed 73f3e8c
main
Status Success
Total duration 46s
Artifacts –

docs.yml

on: push
docs
38s
docs
Fit to window
Zoom out
Zoom in