CI

Add support for the Lean 4 LSP, served by lake. (#4952) #2285

Sign in to view logs

Triggered via push April 26, 2025 01:48

hsanson

master

Status Success

Total duration 2m 51s

Artifacts –

main.yml

on: push

Matrix: test_ale