Skip to content

lsp: fix meta numbering reset (issue #1097) #2234

lsp: fix meta numbering reset (issue #1097)

lsp: fix meta numbering reset (issue #1097) #2234

build_lambdapi (4.12.1)

succeeded Apr 26, 2024 in 7m 52s
Set up job
2s
checking out lambdapi repo ...
2s
recovering cached opam files ...
4s
setting up opam ...
2m 6s
installing dependencies ...
2m 57s
running tests ...
2m 33s
Post setting up opam ...
4s
Post recovering cached opam files ...
0s
Post checking out lambdapi repo ...
0s
Complete job
0s