Skip to content

vscode: split the shortcuts sections in README in two. One specific f… #161

vscode: split the shortcuts sections in README in two. One specific f…

vscode: split the shortcuts sections in README in two. One specific f… #161

Annotations

1 warning

build_lambdapi (5.0.0)

succeeded Dec 12, 2024 in 6m 36s
Set up job
1s
checking out lambdapi repo ...
1s
recovering cached opam files ...
3s
setting up opam ...
23s
installing dependencies ...
3m 14s
running tests ...
2m 47s
Post setting up opam ...
3s
Post recovering cached opam files ...
0s
Post checking out lambdapi repo ...
0s
Complete job
0s