Skip to content

fix typo in user manual #2229

fix typo in user manual

fix typo in user manual #2229

build_lambdapi (4.11.2)

succeeded Apr 24, 2024 in 7m 46s
Set up job
1s
checking out lambdapi repo ...
1s
recovering cached opam files ...
4s
setting up opam ...
2m 12s
installing dependencies ...
2m 52s
running tests ...
2m 27s
Post setting up opam ...
4s
Post recovering cached opam files ...
0s
Post checking out lambdapi repo ...
0s
Complete job
0s