Skip to content
Github Pages

fix: Lean language server consuming excessive memory (#11683) #3948

Sign in to view logs

fix: Lean language server consuming excessive memory (#11683)

fix: Lean language server consuming excessive memory (#11683) #3948

Triggered via push September 15, 2024 10:08
@archseerarchseer
pushed 5ce77de
master
Status Success
Total duration 19s
Artifacts –

gh-pages.yml

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