Skip to content
GitHub Pages

Decrease the default timeout when closing language servers #36

Sign in to view logs

Decrease the default timeout when closing language servers

Decrease the default timeout when closing language servers #36

Triggered via push February 3, 2025 14:17
@irhirh
pushed 7663ee0
master
Status Success
Total duration 17s
Artifacts –

gh-pages.yml

on: push
deploy
6s
deploy
Fit to window
Zoom out
Zoom in