Skip to content

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

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

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

Triggered via push September 15, 2024 10:08
Status Success
Total duration 13m 9s
Artifacts

build.yml

on: push
Matrix: Test Suite
Fit to window
Zoom out
Zoom in