Skip to content
Regenerate Documentation

Better UX if someone accidentally runs LeanRefreshFile from an infoview. #228

Sign in to view logs

Better UX if someone accidentally runs LeanRefreshFile from an infoview.

Better UX if someone accidentally runs LeanRefreshFile from an infoview. #228

Triggered via push February 2, 2025 22:37
@JulianJulian
pushed bf94a7b
main
Status Success
Total duration 1m 0s
Artifacts –

docs.yml

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